Nerode, Anil

Combinatorial Functors.

[Mathematics]. Crossley, J.N, Nerode, Anil. · 1974 · Fahrenheit 451

€18.00 ($19.93 | £15.05 | ¥3,185)

Berlin/ Heidelberg/ New York, Springer-Verlag, 1974, 1st ed., VIII,146,(2) pag., original yellow cloth. = Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 81.

LOGIC AND COMPUTER SCIENCE Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme 1988 (Lecture Notes in Mathematics 1429)

HOMER Steven, NERODE Anil, PLATEK Richard A., SACKS Gerald E., SCEDROV Andre, ODIFREDDI Piergiorgio [Editor] · 1990 · Rothwell & Dunworth Ltd

£10.00 (€11.96 | $13.24 | ¥2,116)

Springer, 1990. 9783540527343 8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).

Logic Programming and Non-Monotonic Reasoning : Proceedings of the First International Workshop.

Nerode, Anil, Wiktor Marek & V. S. Subrahmanian (eds.) · 1991 · Kloof Booksellers & Scientia Verlag

€15.00 ($16.61 | £12.54 | ¥2,654)

Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use...

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

ADIAN, SERGEI; NERODE, ANIL (EDS.) · 1997 · George Cross Books

$15.00 (€13.55 | £11.33 | ¥2,397)

New York, Springer-Verlag, 1997. Ed.: Reprint. Paperback. ISBN: 9783540630456. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 1234 This book constitutes the refereed proceedings of the 4th International Symposium ...