Your search returned 6 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Automated theorem proving : a logical basis / Donald W. Loveland by Series: Fundamental studies in computer science ; 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1978
Availability: Items available for loan: National Library of India (1)Call number: E 001.535 L 942.

Place hold Request article Save to lists
2.
Algebraic and automata-theoretic properties of formal languages / Seymour Ginsburg by Series: Fundamental studies in computer science ; v. 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., c1975
Availability: Items available for loan: National Library of India (1)Call number: E510.78 G435.

Place hold Request article Save to lists
3.
Automated theorem proving : a logical basis / Donald W. Loveland by Series: Fundamental studies in computer science ; 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1978
Availability: Items available for loan: National Library of India (1)Call number: E 001.535 L 942.

Place hold Request article Save to lists
4.
Computational semantics : an introduction to artificial intelligence and natural language comprehension / edited by Eugene Charniak and Yorick Wilks by Series: Fundamental studies in computer science ; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1976
Availability: Items available for loan: National Library of India (1)Call number: E412 C382.

Place hold Request article Save to lists
5.
Human and artificial intelligence / edited by Friedhart Klix by Series: Fundamental studies in computer science ; 8
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1979
Availability: Items available for loan: National Library of India (1)Call number: E 001.535 In 8..

Place hold Request article Save to lists
6.
Human and artificial intelligence / edited by Friedhart Klix by Series: Fundamental studies in computer science ; 8
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1979
Availability: Items available for loan: National Library of India (1)Call number: E 001.535 In 8.

Place hold Request article Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India