Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Peter Backeman 9 träffar

Titel Författare År Språk
1 Free variables and theories - Revisiting rigid <em>E-</em>unification Poland Wroclaw September 21–24 FroCoS 2015 Peter Backeman 2015 Engelska
2-3 New techniques for handling quantifiers in Boolean and first-order logic (flera utgåvor) Peter Backeman 2016 Engelska
4 Efficient algorithms for bounded rigid E -unification Poland Wroclaw September 21–24 TABLEAUX 2015 Peter Backeman 2015 Engelska
5 Exploring Approximations for Floating-Point Arithmetic using UppSAT 2018 July 14-17 UK Oxford FloC 2018 Held as Part of the Federated Logic Conference IJCAR 2018 9th International Joint Conference Aleksandar Zeljic 2018 Engelska
6 Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction Texas. Austin University of Texas 2018 30 October - 2 November The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018) Peter Backeman 2018 Engelska
7-8 Quantifiers and Theories - A Lazy Approach (flera utgåvor) Peter Backeman 2019 Engelska
9 Modeling and Formal Analysis of e-Health Systems Ashalatha Kunnappilly 2021 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.