Logical foundations of computer science
: third international symposium ; proceedings / LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994. A. Nerode ; Yu. V. Matiyasevich (ed.). - Berlin : Springer, 1994. - IX, 392 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 813)
ISBN 978-3-540-58140-6 / 3-540-58140-5 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logical methods
: in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... ed.. - Boston : Birkhäuser, 1993. - 813 S.; 24 cm - (Progress in computer science and applied logic; Vol. 12)
ISBN 978-3-7643-3690-5 / 3-7643-3690-0 Pp. : sfr 188.00
Literaturangaben
Quelle: DNB
Nerode, Anil: Logic for applications
/ Anil Nerode ; Richard A. Shore. - New York : Springer, 1993. - XVII, 365 S.; 25 cm - (Texts and monographs in computer science)
ISBN 978-3-540-94129-3 / 3-540-94129-0 Pp. : DM 70.00
Literaturverz. S. 329 - 354
Quelle: DNB
