Computer Science Logic / Lecture Notes in Computer Science Bd.4207 (PDF)
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
- 2006, 2006, 627 Seiten, Englisch
- Herausgegeben: Zoltán Ésik
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540454594
- ISBN-13: 9783540454595
- Erscheinungsdatum: 28.09.2006
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 7.68 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Computer Science Logic / Lecture Notes in Computer Science Bd.4207".
Kommentar verfassen