Search

Your search returned 11 results.

Results
		Craft of Prolog by O'Keefe, Richard A. Language: English Publication details: Cambridge MIT Press 1990Availability: Items available for loan: 1 Call number: 681.3.06(Pro) O'Ke. Place hold Add to cart (remove)
		No cover image available Unified framework for relating logic programs and their execution models (R) by Ravindran, E [Author] \| Mehndiratta, S.L [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1990Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1990 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Rav. Add to cart (remove)
		No cover image available Dense time logics (R) by Ahmed, Mohsin [Author] \| Venkatesh, G [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1993Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1993 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1 Ahm. Add to cart (remove)
		No cover image available Set abstraction : semantics and implementation (R) by Oberoi, Sundeep [Author] \| Nagaraja, G [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering. Language: English Publication details: Bombay IIT 1994Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 1994 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:519.5 Obe. Add to cart (remove)
		No cover image available Generalization of the Los-Tarski preservation theorem (R) by Sankaran, Abhisekh [Author] \| Chakraborty, Supratik [Supervisor] \| Adsul, Bharat [Supervisor] \| Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2016Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2016 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:517.1San. Add to cart (remove)
		Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday (e-book) by Balduccini, Marcello [Editor] \| Son, Tran Cao [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6565 \| Lecture Notes in Artificial Intelligence (LNAI) Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		25-Year perspective on logic programming : achievements of the Italian association for logic programming, GULP (e-book) by Dovier, Agostino [Editor] \| Pontelli, Enrico [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6125 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Answer set solving in practice (e-book) by Gebser, Martin... [et al.] [Author]. Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2013Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		General game playing (e-book) by Genesereth, Michael [Author] \| Thielscher, Michael [Author]. Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2014Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Datalog and logic databases (e-book) by Greco, Sergio [Author] \| Molinaro, Cristian [Author]. Series: Synthesis lectures on data managementMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha