Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Sergei Artemov
Themen in »Logical Foundations of Computer Science«
Automat automated deduction complexity computer computer science database distributed systems game theory interactive theorem proving logic programming semantics term rewriting theorem proving verification
Stimmen zu »Logical Foundations of Computer Science«
Details
ISBN: 9783540727347
Verlag: Springer Berlin
Erscheinung: 30.06.2007