My Library

     
Limit search to available items
Result page: Previous Record Next Record
E-BOOK
Title Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini.
Published Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.

Descript. v.: digital
Series Lecture Notes in Computer Science, 0302-9743 ; 5213
Notes Springer eBooks
Sys Details eBook access requires you to log in as a Federation University Australia library user
Subject Computer science
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Other Author Martini, Simone.
SpringerLink (Online service)
ISBN 9783540875314
Result page: Previous Record Next Record