Home
Advanced search
Results of search for 'an:6834', page 1 of 3

Refine your search

Availability
- Limit to records with available items
Authors
Item types
- Book - General 7
- e-Book 37
Locations
- EBOOK 2
- Open Shelf 7
- Web 35
Series
Topics
- Algebra 2
- Algorithms 1
- Artificial intelligence 7
- Automatic theorem proving 9
- Computable functions 2
- Computational complexity 1
- Computational intelligence 1
- Computer-assisted instruction 1
- Computer logic 3
- Computer science 5
- Conference proceedings, published 35
- Congresses 44
- Data processing 6
- Decision making 1
- Formal languages 2
- Formal methods (Computer science) 1
- Geometry 3
- Information theory 2
- Logic, Symbolic and mathematical 44
- Mathematical analysis 2
- Show more
- Show less
Collections
- E-Book Collection 37
- General Collection 7
Holding libraries
- Indera Mahkota Campus Library 1
- M. Kamal Hassan Library 43
Home libraries
- Indera Mahkota Campus Library 1
- M. Kamal Hassan Library 43
Languages
- English 44

Your search returned 44 results.

Not what you expected? Check for suggestions

Sort

1
2
3
Next
Last

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

Image from Google Jackets

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (editor) by

International Conference on Automated Deduction Tallinn, Estonia) 2005 : (20th
Nieuwenhuis, Robert [editor]

Online resources:

An electronic book accessible through the World Wide Web; click here to view full-text.

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Frontiers of combining systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / Silvio Ghilardi, Roberto Sebastiani (editors) by

FroCoS 2009 (2009 : Trento, Italy)
Ghilardi, Silvio [editor]
Sebastiani, Roberto [editor]

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota / edited by Xavier Caicedo, Carlos H. Montenegro. by

Latin-American Symposium on Mathematical Logic Bogota, Colombia) 1996 : (10th
Caicedo, Xavier, 1944-
Montenegro, Carlos H, 1958-

Series: Lecture notes in pure and applied mathematics ; v. 203.

Publication details: New York : Marcel Dekker, c1999

Availability: Items available for loan: Indera Mahkota Campus Library (1)Location, call number: Open Shelf QA9A1L357M 1999.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjorner, Viorica Sofronie-Stokkermans (editors) by

International Conference on Automated Deduction (23rd : 2011 : Wroclaw, Poland)
Bjorner, Nikolaj [editor]
Sofronie-Stokkermans, Viorica [editor]

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings / Bernhard Gramlich (editor) by

FroCoS 2005 (2005 : Vienna, Austria)
Gramlich, Bernhard [editor]

Other title:

FroCoS 2005

Online resources:

Click here to access online

Availability: Items available for reference: M. Kamal Hassan Library: Not for loan (1)Location, call number: eb QA 9 A1 F76 2005.

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings / Daniel Leivant, Ruy de Queiroz (editors) by

Workshop on Logic, Language, Information and Computation (14th : 2007 : Rio de Janeiro, Brazil)
Leivant, Daniel Maurice Raphael [editor]
Queiroz, Ruy J. G. B. de [editor]

Other title:

WoLLIC 2007

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Logic, language, information and computation : 15th international workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings / edited by Wilfrid Hodges, Ruy Queiroz by

Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, United Kingdom)
Hodges, Wilfrid [editor]
Queiroz, Ruy [editor]

Other title:

Workshop on Logic, Language, Information and Computation
WoLLIC 2008

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology / edited by Germano Lambert-Torres ... [et al.]. by

Torres, Germano Lambert

Series: Frontiers in artificial intelligence and applications ; v. 186. | Frontiers in artificial intelligence and applications. Knowledge-based intelligent engineering systems.

Publication details: Amsterdam ; Washington, DC IOS Press, c2009

Availability: Items available for loan: M. Kamal Hassan Library (1)Location, call number: Open Shelf Q334 A244T 2009.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Logic Colloquium 2006 / edited by S. Barry Cooper ... [et al.] by

Logic Colloquium Nijmegen, Netherlands) (2006
Cooper, S. B. (S. Barry)
Geuvers, Herman
Pillay, Anand

Series: Lecture notes in logic ; 32.

Publication details: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009

Availability: Items available for loan: M. Kamal Hassan Library (1)Location, call number: Open Shelf QA9 A1 L832L 2009.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Logic and its applications : 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings / Kamal Lodaya (editor) by

ICLA 2013 (5th : 2013 : Chennai, India)
Lodaya, Kamal [editor]

Other title:

ICLA 2013

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 ; revised papers / Hoon Hong, Dongming Wang (editors) by

International Workshop on Automated Deduction in Geometry Gainesville, Fla.) 2004 : (5th
Hong, Hoon [editor]
Wang, Dongming [editor]

Other title:

ADG 2004

Online resources:

An electronic book accessible through the World Wide Web; click here to view full-text.

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (editor) by

International Conference on Automated Deduction (21st : 2007 : Bremen, Germany)
Pfenning, Frank [editor]

Other title:

Automated deduction
CADE-21
CADE-twenty-one
21st International Conference on Automated Deduction
Twenty-first International Conference on Automated Deduction
International Conference on Automated Deduction

Online resources:

Click here to access online

Availability: Items available for reference: M. Kamal Hassan Library: Not for loan (1)Location, call number: EBOOK XX(432658.1). Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Advances in intelligent systems and robotics : LAPTEC 2003 / edited by Germano Lambert Torres ... [et al.]. by

Congress of Logic Applied to Technology Marilia, Brazil) 2003 : (4th
Torres, Germano Lambert

Series: Frontiers in artificial intelligence and applications ; v. 101 | Frontiers in artificial intelligence and applications ; v. 101Language: English

Publication details: Amsterdam ; Washington, DC : Tokyo : IOS Press ; Ohmsha, c2003

Availability: Items available for loan: M. Kamal Hassan Library (1)Location, call number: Open Shelf Q334C749A 2003.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Applied logic : how, what and why : logical approaches to natural language / edited by Laszlo Polos and Michael Masuch by

Polos, Laszlo
Masuch, Michael, 1949-
Applied logic : logic at work (1992 : Amsterdam )

Series: Synthese library | Synthese library

Publication details: Dordrecht : Kluwer Academic Publishers, 1995

Availability: Items available for loan: M. Kamal Hassan Library (1)Location, call number: Open Shelf P39A648P 1995.

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / Mohua Banerjee, Anil Seth (editors) by

ICLA (Conference : Logic) (4th : 2011 : Delhi, India)
Banerjee, Mohua [editor]
Krishna, Shankara Narayanan [editor]

Other title:

ICLA 2011

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings / Maria Paola Bonacina (editors) by

International Conference on Automated Deduction (24th : 2013 : Lake Placid, N.Y.)
Bonacina, Maria Paola [editor]

Series: Lecture notes in computer science ; 7898 | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligencePublisher: Heidelberg ; New York : Springer, 2013Copyright date: ©2013

Other title:

CADE-24

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : revised selected papers / Pascal Schreck, Julien Narboux, Jurgen Richter-Gebert (editors) by

International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)
Schreck, Pascal [editor]
Narboux, Julien [editor]
Richter-Gebert, Jurgen, 1963- [editor]

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings / Sergei N. Artemov, Anil Nerode (editors) by

LFCS 2007 (2007 : New York, N.Y.)
Artemov, S. N [author, editor]
Nerode, Anil, 1932- [author, editor]

Other title:

LFCS 2007

Online resources:

Click here to access online

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

Image from Google Jackets

Proceedings of the 2nd. Conf. on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California / / edited by Moshe Y. Vardi by

Conference on Theoretical Aspects of Reasoning about Knowledge Pacific Grove, Calif.) 1988 : (2nd
Vardi, Moshe Y
Almaden Research Center (IBM Research)

Publication details: Los Altos, Calif. : Morgan Kaufmann, 1988

Availability: Items available for loan: M. Kamal Hassan Library (2)Location, call number: Open Shelf Q334C748 1984, ...

star rating

Average : 0.0 out of 5 stars

Place hold Save to lists

Image from Google Jackets

Automated deduction--CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / Renate A. Schmidt (editors) by

International Conference on Automated Deduction (22nd : 2009 : Montreal, Quebec)
Schmidt, Renate A [editor]

Series: Lecture notes in computer science ; 5663 | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligencePublisher: Berlin ; New York : Springer, 2009Copyright date: ©2009

Other title:

CADE-twenty-two
CADE-22

Online resources:

SpringerLink Connect to resource

Availability: Not available: M. Kamal Hassan Library: Online Access (1).

star rating

Average : 0.0 out of 5 stars

Save to lists

1
2
3
Next
Last