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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|