1 |
v. 1
Finite automata; behavior and synthesis / [by] B. A. Trakhtenbrot and Ya. M. Barzdinʹ. Translated from the Russian by D. Louvish. English translation edited by E. Shamir and L. H. Landweber
Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier , 1973
|
2 |
v. 4
Computational semantics : an introduction to artificial intelligence and natural language comprehension / edited by Eugene Charniak and Yorick Wilks
: Elsevier,: North-Holland. - Amsterdam ; New York : North-Holland Pub. Co.. - New York : Distributors for the U.S.A. and Canada, Elsevier/North Holland , 1976
|
3 |
6
Automated theorem proving : a logical basis / Donald W. Loveland
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1978
|