Your search returned 38 results.

Results
	1.	Algorithmic decision theory [electronic resource] : first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / edited by Francesca Rossi, Alexis Tsoukias. by ADT 2009 (2009 : Venice, Italy) Rossi, Francesca Tsoukias, Alexis SpringerLink (Online service) Series: Lecture notes in computer science ; 5783 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ADT 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	2.	Automated Deduction - CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings / edited by Robert Nieuwenhuis. by International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia) Nieuwenhuis, Robert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3632 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	3.	Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings [electronic resource] / edited by Frank Pfenning. by International Conference on Automated Deduction (21st : 2007 : Bremen, Germany) Pfenning, Frank SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4603 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	4.	Automated deduction - CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / edited by Renate A. Schmidt. by International Conference on Automated Deduction (22nd : 2009 : Montreal, Quebec) Schmidt, Renate A SpringerLink (Online service) Series: Lecture notes in computer science ; 5663 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: CADE-22 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	5.	Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers edited by Hoon Hong, Dongming Wang. by European Workshop on Inductive Databases and Constraint Based Mining (2004 : Hinterzarten, Germany) Hong, Hoon Wang, Dongming SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3763 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers [electronic resource] / Francisco Botana, Tomas Recio (eds.). by International Workshop on Automated Deduction in Geometry (6th : 2006 : Pontevedra, Spain) Botana, Francisco Recio, T. (Tomas), 1949- SpringerLink (Online service) Series: LNCS sublibrary. SL 7, Artificial intelligence \| Lecture notes in computer science ; 4869. \| Lecture notes in computer science. Lecture notes in artificial intelligence. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ADG 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	7.	Automated reasoning : 33 basic research problems / Larry Wos by Wos, Larry Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96W67. Place hold
	8.	Automated reasoning : introductions and applications / Larry Wos... (et al.) Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96A93. Place hold
	9.	Automated Reasoning [electronic resource] : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / edited by Ulrich Furbach, Natarajan Shankar. by IJCAR 2006 (2006 : Seattle, Wash.) Furbach, Ulrich Shankar, Natarajan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4130 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	Automated reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by IJCAR 2001 (2008 : Sydney, Australia) Armando, Alessandro Baumgartner, Peter Dowek, Gilles SpringerLink (Online service) Series: Lecture notes in computer science. Lecture notes in artificial intelligence, ; 5195 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	11.	Automated reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / edited by Jurgen Giesl, Reiner Hahnle. by IJCAR 2010 (2010 : Edinburgh, Scotland) Giesl, Jurgen Hahnle, Reiner SpringerLink (Online service) Series: Lecture notes in computer science ; 6173 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: IJCAR 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	12.	Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / edited by Martin Giese, Arild Waaler. by TABLEAUX 2009 (2009 : Oslo, Norway) Giese, Martin Waaler, Arild SpringerLink (Online service) Series: Lecture notes in computer science ; 5607 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	13.	Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings [electronic resource] / edited by Nicola Olivetti. by TABLEAUX 2007 (2007 : Aix en Provence, France) Olivetti, Nicola SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4548 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	14.	Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings [electronic resource] / edited by Bernhard Beckert. by TABLEAUX 2005 (2005 : Koblenz, Germany) Beckert, Bernhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3702 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: TABLEAUX 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	15.	Automated technology for verification and analysis [electronic resource] : 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / edited by Zhiming Liu, Anders P. Ravn. by ATVA 2009 (2009 : Macau, China) Liu, Zhiming Ravn, Anders P SpringerLink (Online service) Series: Lecture notes in computer science ; 5799 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ATVA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	16.	Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings [electronic resource] / Kedar S. Namjoshi ... [et al.] (eds.). by ATVA 2007 (2007 : Tokyo, Japan) Namjoshi, Kedar S SpringerLink (Online service) Series: Lecture notes in computer science ; 4762 \| LNCS sublibrary. SL 2, Programming and software engineering Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: ATVA 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	17.	Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [electronic resource] / edited by Doron A. Peled, Yih-Kuen Tsay. by ATVA 2005 (2005 : Taipei, Taiwan) Peled, Doron A Tsay, Yih-Kuen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: ATVA 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	18.	Automated Technology for Vertification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / edited by Susanne Graf, Wenhui Zhang. by ATVA 2006 (2006 : Beijing, China) Graf, Susanne Zhang, Wenhui SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4218 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	19.	Automated theorem proving : a logical basis / Donald W. Loveland. by Loveland, Donald W Series: Fundamental studies in computer science ; 6 Publication details: Amsterdam : North-Holland Pub. Co., 1978 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96L68[00008034295]. Place hold
	20.	Automated theorem proving / Wolfgang Bibel by Bibel, Wolfgang, 1938- Publication details: Braunschweig : Friedr Vieweg & Sohn, 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.A96B5[00008034292]. Place hold

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library