Results of search for 'su:"Logic programming."'

Results
	1.	Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang. [E-Book] by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11428 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	2.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen. by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12651 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	3.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	4.	Robust Argumentation Machines [electronic resource] : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings / edited by Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein. by Cimiano, Philipp [editor.] Frank, Anette [editor.] Kohlhase, Michael [editor.] Stein, Benno [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14638 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	5.	Programming logic and design, comprehensive Book / Joyce Farrell. by Farrell, Joyce Edition: Ninth edition. Material type: Text; Format: print ; Literary form: Not fiction Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.15 FAR-G 61927. Place hold Add to cart (remove)
	6.	Programming Logic and Design Comprehensive [Book]. Joyce Farrell by Farrell, Joyce Edition: Fourth Edition. Material type: Text Publication details: New Delhi Cengage Learning (India) 2008 Availability: Items available for loan: COMSATS University Attock Campus (4)Call number: 005.1 FAR-P 10009, ... Place hold Add to cart (remove)
	7.	Programming logic and design [Book] : comprehensive / Joyce Farrell. by Farrell, Joyce Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston, Mass. : Course Technology, c2007 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (3)Call number: 005.15 FAR-P, ... Place hold Add to cart (remove)
	8.	Programming logic and design [Book] : introductory / Joyce Farrell. by Farrell, Joyce Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. ; London : Course Technology, 2004 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.1 FAR-P. Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1)Call number: 005.1 FAR-P BK18802. Place hold Add to cart (remove)
	9.	Programming logic and design [Book] : comprehensive / Joyce Farrell. by Farrell, Joyce Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston, Mass. : Thomson/Course Technology, c2004 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.1 FAR-P. Place hold Add to cart (remove)
	10.	Parallel logic programming techniques [Book]. by Taylor, S Material type: Text Publication details: PRENTICE HALL Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 004.35 TAY. Place hold Add to cart (remove)
	11.	Mathematical aspects of logic programming semantics [Book] / Pascal Hitzler, Anthony Seda. by Hitzler, Pascal Seda, Anthony Series: Chapman & Hall/CRC studies in informatics series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, FL : CRC Press, c2011 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.115 HIT-M. Place hold Add to cart (remove)
	12.	The logic programming tutor [Book] / Jocelyn Paine. by Paine, Jocelyn Material type: Text; Format: print ; Literary form: Not fiction Publication details: Dordrecht ; Boston : Kluwer Academic Publishers, 1992 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 005.1 PAI-L. Place hold Add to cart (remove)
	13.	The Logic Programming Paradigm A 25-Year Perspective by Apt, Krzysztof R Material type: Text; Format: print ; Literary form: Not fiction 0 Availability: Items available for loan: COMSATS University Lahore Campus (1)Call number: 005.115 APT-T. Place hold Add to cart (remove)
	14.	No cover image available Logic Programming [Book] Systematic Program Development. by Deville,Y Material type: Text Publication details: Addison Availability: Items available for loan: COMSATS University Wah Campus (1)Call number: 005.1 DEV. Place hold Add to cart (remove)
	15.	Logic in computer science [Book] : modelling and reasoning about systems. by Huth, Michael Ryan, Mark Edition: 2nd ed. Material type: Text; Format: electronic Publication details: Leiden : Cambridge University Press, 2005 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.015113 HUT-L. Place hold Add to cart (remove)
	16.	Knowledge Graphs and Big Data Processing / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger. [E-Book] by Janev, Valentina [editor.] Graux, Damien [editor.] Jabeen, Hajira [editor.] Sallinger, Emanuel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12072 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	17.	Islamic architecture of the Deccan, India Book / George Michell, Helen Philon ; photographs: Antonio Martinelli. by Michell, George Philon, Helen Martinelli, Antonio Material type: Text; Format: print ; Literary form: Not fiction Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 720.9548 MIC-I 61383. Place hold Add to cart (remove)
	18.	Discrete structures, logic, and computability [Book] / James L. Hein. by Hein, James L Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Sudbury, Mass. : Jones and Bartlett Publishers, c2010 Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 004.0151 HEI-D. Place hold Add to cart (remove)
	19.	Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. [E-Book] by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online E-Resource. For any assistance, contact JZL or e-mail to rehan_aslam@comsats.edu.pk Availability: Items available for reference: Junaid Zaidi Library, COMSATS University Islamabad: Not for loan (1). Add to cart (remove)
	20.	Bioinformatics computing [Book] Bryan Bergeron by Bergeron, Bryan Material type: Text Publication details: Chennai : Pearson Education (India), c2015 Availability: Items available for loan: COMSATS University Attock Campus (3)Call number: 006.3 BER-B 9445, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Locations

Series

Topics

Your search returned 21 results.