Central Library catalog › Results of search for 'su:"Logic programming"'

Your search returned 90 results.

1
2
3
4
5
Next »
Last

		Elements of Parallel Computing by Rajaraman,V. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Dellhi Prentice Hall 1990Availability: Items available for loan: [Call number: 621.38195 R614] (1). Place hold
		Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten. by Apt, Krzysztof R, 1949- \| Bakker, J. W. de (Jacobus Willem), 1939- \| Rutten, J. J. M. M \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci. by A�it-Kaci, Hassan, 1954- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck. by Van Hentenryck, Pascal \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
		From logic to logic programming / Kees Doets. by Doets, Kees [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
		A grammatical view of logic programming / Pierre Deransart, Jan Ma�uszy�nski. by Deransart, Pierre [author.] \| Ma�uszy�nski, Jan \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Institut national de recherche en informatique et en automatique (France). Material type: Book; Format: available online Publisher: Le Chesnay, France : Institut national de recherche en informatique et en automatique, 1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren. by International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) \| Warren, David S \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| Bull Hungary. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling. by Sterling, Leon S [editor.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Logic Programming Conference (12th : 1995 : Tokyo, Japan). Material type: Book; Format: available online Publisher: [Cambridge, Massachusetts] : MIT Press, [1995]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian. by Nerode, Anil, 1932- \| Marek, Wiktor \| Subrahmanian, V. S \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, [1991]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish. by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) \| Naish, Lee, 1960- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski. by Ma�uszy�nski, J. (Jan), 1941- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher. by Maher, Michael, 1959- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 \| Joint International Conference and Symposium on Logic Programming \| Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye. by De Schreye, Danny \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti. by Bergadano, Francesco, 1963- \| Gunetti, Daniele \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd. by Lloyd, John \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Logic Programming Symposium (1995). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
		The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by Friedman, Daniel P [author.] \| Christiansen, David Thrane [author.] \| Bibby, Duane [illustrator.] \| Harper, Robert, 1957- \| McBride, Conor \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		No cover image available Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective [electronic resource] / by Trailokya Nath Sasamal, Ashutosh Kumar Singh, Anand Mohan. by Sasamal, Trailokya Nath [author.] \| Singh, Ashutosh Kumar [author.] \| Mohan, Anand [author.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		No cover image available Applications of Machine Learning [electronic resource] / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul. by Johri, Prashant [editor.] \| Verma, Jitendra Kumar [editor.] \| Paul, Sudip [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		Theory and Applications of Satisfiability Testing - SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / edited by Mikoláš Janota, Inês Lynce. by Janota, Mikoláš [editor.] \| Lynce, Inês [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
		Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. by Lal, Akash [editor.] \| Tonetta, Stefano [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

1
2
3
4
5
Next »
Last

		Elements of Parallel Computing by Rajaraman,V. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Dellhi Prentice Hall 1990Availability: Items available for loan: [Call number: 621.38195 R614] (1). Place hold
		Logic programming languages : constraints, functions, and objects / edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten. by Apt, Krzysztof R, 1949- \| Bakker, J. W. de (Jacobus Willem), 1939- \| Rutten, J. J. M. M \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Warren's abstract machine : a tutorial reconstruction / Hassan A�it-Kaci. by A�it-Kaci, Hassan, 1954- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1991Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1991]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the eleventh International Conference on Logic Programming / edited by Pascal Van Hentenryck. by Van Hentenryck, Pascal \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT Press, 1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
		From logic to logic programming / Kees Doets. by Doets, Kees [author.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1994Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1994]Online access: Abstract with links to resource Availability: No items available
		A grammatical view of logic programming / Pierre Deransart, Jan Ma�uszy�nski. by Deransart, Pierre [author.] \| Ma�uszy�nski, Jan \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Institut national de recherche en informatique et en automatique (France). Material type: Book; Format: available online Publisher: Le Chesnay, France : Institut national de recherche en informatique et en automatique, 1988Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2003]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren. by International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) \| Warren, David S \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| Bull Hungary. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / edited by by Leon S. Sterling. by Sterling, Leon S [editor.] \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Logic Programming Conference (12th : 1995 : Tokyo, Japan). Material type: Book; Format: available online Publisher: [Cambridge, Massachusetts] : MIT Press, [1995]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian. by Nerode, Anil, 1932- \| Marek, Wiktor \| Subrahmanian, V. S \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, [1991]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the Fourteenth International Conference on Logic Programming / edited by Lee Naish. by International Conference on Logic Programming (14th : 1997 : Leuven, Belgium) \| Naish, Lee, 1960- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ICLP '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1997 International Symposium / edited by Jan Ma�uszy�nski. by Ma�uszy�nski, J. (Jan), 1941- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1997Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1997]Other title: ILPS '97.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher. by Maher, Michael, 1959- \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts ; MIT, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1996]Other title: JICSLP '96 \| Joint International Conference and Symposium on Logic Programming \| Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye. by De Schreye, Danny \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Mass : MIT, 2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1999]Online access: Abstract with links to resource Availability: No items available
		Inductive logic programming : from machine learning to software engineering / Francesco Bergadano and Daniele Gunetti. by Bergadano, Francesco, 1963- \| Gunetti, Daniele \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1996Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Online access: Abstract with links to resource Availability: No items available
		Logic programming : proceedings of the 1995 international symposium / edited by John Lloyd. by Lloyd, John \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.] \| Association for Logic Programming \| International Logic Programming Symposium (1995). Material type: Book; Format: available online Publisher: Cambridge, Massachusetts : MIT Press, c1995Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1995]Other title: ILPS '95.Online access: Abstract with links to resource Availability: No items available
		The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. by Friedman, Daniel P [author.] \| Christiansen, David Thrane [author.] \| Bibby, Duane [illustrator.] \| Harper, Robert, 1957- \| McBride, Conor \| IEEE Xplore (Online Service) [distributor.] \| MIT Press [publisher.]. Material type: Book; Format: available online Publisher: Cambridge : MIT Press, 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
		No cover image available Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective [electronic resource] / by Trailokya Nath Sasamal, Ashutosh Kumar Singh, Anand Mohan. by Sasamal, Trailokya Nath [author.] \| Singh, Ashutosh Kumar [author.] \| Mohan, Anand [author.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		No cover image available Applications of Machine Learning [electronic resource] / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul. by Johri, Prashant [editor.] \| Verma, Jitendra Kumar [editor.] \| Paul, Sudip [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		Theory and Applications of Satisfiability Testing - SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / edited by Mikoláš Janota, Inês Lynce. by Janota, Mikoláš [editor.] \| Lynce, Inês [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
		Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / edited by Akash Lal, Stefano Tonetta. by Lal, Akash [editor.] \| Tonetta, Stefano [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics