2
Logic programming and non-monotonic reasoning proceedings of the second international workshop

Cover is for reference only
Group Author: Pereira Luis Moniz; Nerode Anil 1932-
Published: MIT Press,
Publication Dates: c1993.
Call Number: TP311-532/L832/1993/
Book
Save to List
Saved in:
3
Automata theory and its applications

Cover is for reference only
Main Authors: Khoussainov Bakhadyr 1961-
Group Author: Nerode Anil 1932-
Published: Birkhäuser,
Publication Dates: c2001.
Call Number: TP301.1/K458
Book
Save to List
Saved in:
4
Logic for applications

Cover is for reference only
Main Authors: Nerode Anil 1932-
Group Author: Shore Richard 1946-
Published: Springer,
Publication Dates: c1997.
Call Number: TP311.11/N451/2nd ed./
Book
Save to List
Saved in:
5
Principles of logic and logic programming

Cover is for reference only
Main Authors: Metakides George 1945-
Group Author: Nerode Anil 1932-
Published: Elsevier,
Publication Dates: 1996.
Call Number: TP301.6/M587/
Book
Save to List
Saved in:
8
Logic for applications

Cover is for reference only
Main Authors: Nerode Anil 1932-
Group Author: Shore Richard A 1946-
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP311.11/N451/
Book
Save to List
Saved in:
9
应用逻辑 英文版

Cover is for reference only
Main Authors: 美 尼罗德 A Nerode, Anil ((美)Anil Nerode，(美)Richard A.Shore著); 美 Shore Richard A
Published: 机械工业出版社
Publication Dates: 2006
Call Number: O141/7262
Book
Save to List
Saved in:
10
Logic programming and non-monotonic reasoning proceedings of the first international workshop

Cover is for reference only
Corporate Authors: Association for Logic Programming
Group Author: Nerode Anil 1932-; Marek Wiktor; Subrahmanian V. S
Published: MIT Press,
Publication Dates: [1991]
Call Number: TP311-53/L832/1991/
Book
Save to List
Saved in:
11
Principles of logic and logic programming /

Cover is for reference only
Main Authors: Metakides, George, 1945- (Author)
Corporate Authors: Elsevier Science & Technology.
Group Author: Nerode, Anil, 1932-; Sinachopoulos, A. (Aneta)
Published: Elsevier,
Publication Dates: 1996.
eBook
Save to List
Saved in:
14
应用逻辑

Cover is for reference only
Main Authors: 美 尼罗德 Nerode, Anil ((美)Anil Nerode， Richard A. Shore著); 美 肖尔 Shore, Richard A
Group Author: 丁德成 (译)
Published: 机械工业出版社
Publication Dates: 2007
Call Number: O141/7262-1
Book
Save to List
Saved in:
15
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

Cover is for reference only
Corporate Authors: LFCS '97 1997 Yaroslavlʹ, Russia (City)) (Yaroslavlʹ, Russia (City)))
Group Author: Nerode Anil, 1932-; Adi︠a︡n S. I.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301.6-532/L832.2/1997/
Book
Save to List
Saved in:
19
Handbook of recursive mathematics /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Goncharov, S. S. (Editor); Nerode, Anil, 1932- (Editor); Remmel, Jeffrey B., 1948- (Editor); Marek, Wiktor (Editor); Ershov, I U rii Leonidovich. (Editor)
Published: Elsevier,
Publication Dates: 1998.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —