登入選單
Google圖書搜尋
Verification of Object-Oriented Software. The KeY ...
作者
Bernhard Beckert / Reiner Hähnle / Peter H. Schmitt
出版Springer Science & Business Media, 2007-01-03
ISBN
9783540689775 / 354068977X
主題
Computers
Spezifikation Eines Theorembeweisers Für Dreiwerti...
作者
Reiner Hähnle
出版1990
ISBN
OCLC:256021829
Common Syntax of the DFG-Schwerpunktprogramm "Dedu...
作者
Reiner Hähnle / Manfred Kerber / Christoph Weidenbach
出版1996
ISBN
OCLC:75774908
Automated Deduction in Multiple-valued Logics
作者
Reiner Hähnle
出版1993
ISBN
UOM:39015032761515
主題
Computers
Fundamental Approaches to Software Engineering
作者
Wil Van Der Aalst / Reiner Hähnle
出版Saint Philip Street Press, 2020-10-08
ISBN
1013271327 / 9781013271328
主題
Computers
The many valued theorem prover 3TAP
作者
Reiner Hähnle / Bernhard Beckert / Stefan Gerberding
出版1994
ISBN
OCLC:75518645
Theorem Proving with Analytic Tableaux and Related...
作者
Peter Baumgartner / Reiner Hähnle / Joachim Posegga
出版Springer, 1995-04-26
ISBN
3540593381 / 9783540593386
主題
Computers
Simplification of Many Valued Logic Formulas Using...
作者
Bernhard Beckert / Reiner Hähnle / Gonzalo Escalada-Imaz
出版1997
ISBN
OCLC:312660907
Theorem Proving with Analytic Tableaux and Related...
作者
B. Fronhöfer / Reiner Hähnle / T. Käufl
出版1992
ISBN
OCLC:897913853
Tableaux-Based Automated Theorem Proving in Multip...
作者
Reiner Hähnle
ISBN
OCLC:552468694
Model generation theorem proving with interval con...
作者
Reiner Hähnle / Ryuzo Hasegawa / Yasuyuki Shirai
出版1995
ISBN
OCLC:75650127
Fundamental Approaches to Software Engineering
作者
Wil Van Der Aalst / Reiner Hähnle
出版2020-10-08
ISBN
1013271327 / 9781013271328
主題
Computers
Proving Compiler Correctness with Evolving Algebra...
作者
Bernhard Beckert / Reiner Hähnle
出版1996
ISBN
OCLC:75709172
Verification of Object-oriented Software
出版2006
ISBN
OCLC:1170320773
主題
Computer software
Towards an Efficient Tableau Proof Procedure for M...
作者
Reiner Hähnle
出版1990
ISBN
OCLC:606090924
Theorem Proving with Analytic Tableaux and Related...
作者
Germany) International Workshop TABLEAUX'95 (1995 : Sankt Goar
出版1995
ISBN
OCLC:314237298
主題
Automatic theorem proving
Workshop on Theorem Proving with Analytic Tableaux...
作者
D. Basin / Reiner Hähnle / B. Fronhöfer
出版1993
ISBN
OCLC:897903778
THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED...
作者
Peter Baumgartner / Reiner Hahnle
出版1995
ISBN
OCLC:878755234
Workshop
作者
Bertram Fronhöfer / Institut für Logik, Komplexität und Deduktionssysteme Karlsruhe / Reiner Hähnle / Thomas Käufl / Universität Karlsruhe. Fakultät für Informatik
出版1992
ISBN
OCLC:46130831
Tableau Based Theorem Proving
作者
Reiner Hähnle / European Summer School in Logic, Language and Information. 10, 1998, Saarbrücken
出版1998
ISBN
OCLC:313831667
Theorem Proving with Analytic Tableaux and Related...
出版1995
ISBN
OCLC:640314477
主題
Automatic theorem proving
A-ordered tableaux
作者
Reiner Hähnle / Stefan Klingenbeck
出版1995
ISBN
OCLC:312269440
Über die Negation im logischen Programmieren und i...
作者
J. Dix / Reiner Hähnle / P. H. Schmitt
出版1990
ISBN
OCLC:897665324
Scientific Railway Signalling Symposium 2018 - Dig...
作者
René Zweigel / Jan-Jöran Gehrt / Dirk Abel / Peter Reinhart / Sven Wanstrath / Bilal Üyümez / Sebastian Schön / Eduard Kamburjan / Reiner Hähnle
出版2018
ISBN
OCLC:1189343443
Scientific Railway Signalling Symposium 2019: Mehr...
作者
Frederik Düpmeier / Hanno Winter / Volker Willert / Jürgen Adamy / Stefan Dillmann / Miroslav Pejic / Andreas Oetting / Reiner Hähnle
出版2020
ISBN
OCLC:1197335821
Tagungsband des Scientific Railway Signalling Symp...
作者
Michael Meyer zu Hörste / Eduard Kamburjan / Reiner Hähnle / Hanno Winter / Volker Willert / Jürgen Adamy / Michael Leining / Max Spindler / Martin Lauer / Denis Lochner / Oliver Heirich / Jörn Groos / Arne Geffert / Uwe Becker / Michael Breuer / Daria Bachurina / Frederik Düpmeier
出版2018
ISBN
OCLC:1187487839