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: Tobias Nipkow
24 träffar
|
Titel |
Författare |
År |
Språk |
1-2 |
Concrete semantics - with Isabell/HOL
(flera utgåvor)
|
Tobias Nipkow
|
2014 |
Engelska |
3 |
Term rewriting and all that
|
Franz Baader
|
1998 |
Engelska |
4-5 |
Automated reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
(flera utgåvor)
|
International Joint Conference on Automated Reasoning 2001 : Siena)
|
2001 |
Engelska |
6-7 |
Types for proofs and programs - international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
(flera utgåvor)
|
|
cop. 1993 |
Engelska |
8-9 |
Rewriting techniques and applications
(flera utgåvor)
|
International Conference on Rewriting Techniques and Applications 1998 : Tsukuba)
|
cop. 1998 |
Engelska |
10-11 |
Isabelle/HOL - a proof assistant for higher-order logic
(flera utgåvor)
|
Tobias Nipkow
|
cop. 2002 |
Engelska |
12-13 |
FM 2006: Formal Methods
(flera utgåvor)
|
Jayadev. Misra
|
2006 |
Engelska |
14 |
Higher-Order Algebra, Logic, and Term Rewriting
|
|
1994 |
Engelska |
15 |
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
|
Stefan. Berghofer
|
2009 |
Engelska |
16 |
Formal Logical Methods for System Security and Correctness (NATO Security Through Science Series)
|
Christian Pfaller
|
2008 |
Okänt |
17 |
FM 2006: Formal Methods
|
Jayadev Misra
|
2006 |
Okänt |
18 |
Term Rewriting and All That
|
|
1999 |
Engelska |
19 |
Software Safety and Security: Tools for Analysis and Verification (NATO Science for Peace and Security Series. D, Information and Communication Security)
|
Benedikt Hauptmann
|
2012 |
Okänt |
20 |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
|
Tobias Nipkow
|
uuuu-uuuu |
Okänt |
1
2
Nästa sida
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.