Publikationsdetails

Zitat:	Martin Giese, "First-Order Logic" , in Bernhard Beckert and Reiner Hähnle and Peter H. Schmitt: Verification of Object-Oriented Software: The KeY Approach, Serie Lecture Notes in Computer Science (LNCS), Vol. 4334, Springer, Seite(n) 21-68, 2007, ISBN: 978-3-540-68977-5
Original Titel:	First-Order Logic
Sprache des Titels:	Englisch
Original Buchtitel:	Verification of Object-Oriented Software: The KeY Approach
Veröffentlicher:	Springer
Serie:	Lecture Notes in Computer Science (LNCS)
Volume:	4334
Seitenreferenz:	21-68
Erscheinungsjahr:	2007
ISBN:	978-3-540-68977-5
Anzahl der Seiten:	48
Publikationstyp:	Aufsatz / Paper in Sammelwerk (referiert)
Autoren:	Martin Giese
Forschungseinheiten:	Institut für Symbolisches Rechnen

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum