Suchfeld einblenden
Person Artemov, Sergei N.
1 Treffer
Seite < 1 >
Logical foundations of computer science
: international symposium ; proceedings / LFCS 2007, New York, NY, USA, June 4 - 7, 2007. Sergei N. Artemov (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4514)
ISBN 978-3-540-72734-7
Lizenzpflichtig
Quelle: DNB
Seite < 1 >