 | | | STUDIES IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE
| | | | | | |
Series edited by
R.B.
Banerji
M.
Nivat
M.
Wirsing
| | | | | |
Volumes in series
| | | | | 13 | | Principles of Logic and Logic Programming
Buy online with a credit card in the Elsevier Science & Technology Bookstore:  http://books.elsevier.com/elsevier/?isbn=0444816445
By G. Metakides, A. Nerode
ISBN-13: 978-0-444-81644-3,
ISBN-10: 0-444-81644-5, Year: 1996, USD 157, GBP 104, EUR 156
| |  | | | 10 | | Tree Automata and Languages, 10
To order this title, and for more information, click here
Edited By M. Nivat, A. Podelski
ISBN-13: 978-0-444-89026-9,
ISBN-10: 0-444-89026-2, Year: 1992, USD 193, EUR 170, GBP 113
| |  | |
| |
Last update: 29 Sep 2008
| | | | | |
| | |
