Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Mathematical logic'

Your cart is empty.

FEEDBACK

Your search returned 1496 results.

« Previous
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Next »

	221.	Logics in Artificial Intelligence [electronic resource] :8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings / by Flesca, Sergio [editor.] \| Greco, Sergio [editor.] \| Ianni, Giovambattista [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	222.	Static Analysis [electronic resource] :9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings / by Hermenegildo, Manuel V [editor.] \| Puebla, Germán [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	223.	Grammatical Inference: Algorithms and Applications [electronic resource] :6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings / by Adriaans, Pieter [editor.] \| Fernau, Henning [editor.] \| Zaanen, Menno van [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	224.	Computer Science Logic [electronic resource] :16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / by Bradfield, Julian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	225.	Rough Sets and Current Trends in Computing [electronic resource] :Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings / by Alpigini, James J [editor.] \| Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Zhong, Ning [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	226.	Machine Translation: From Research to Real Users [electronic resource] :5th Conference of the Association for Machine Translation in the Americas, AMTA 2002 Tiburon, CA, USA, October 8 – 12, 2002 Proceedings / by Richardson, Stephen D [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	227.	Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers / by Callaghan, Paul [editor.] \| Luo, Zhaohui [editor.] \| McKinna, James [editor.] \| Pollack, Robert [editor.] \| Pollack, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	228.	Programming Languages and Systems [electronic resource] :11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / by Métayer, Daniel Le [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	229.	Foundations of Software Science and Computation Structures [electronic resource] :5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / by Nielsen, Mogens [editor.] \| Engberg, Uffe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	230.	Compiler Construction [electronic resource] :11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / by Horspool, R. Nigel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	231.	Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [editor.] \| Wenzel, Markus [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	232.	Frontiers of Combining Systems [electronic resource] :4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings / by Armando, Alessandro [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	233.	Developments in Language Theory [electronic resource] :5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers / by Kuich, Werner [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	234.	MICAI 2002: Advances in Artificial Intelligence [electronic resource] :Second Mexican International Conference on Artificial Intelligence Mérida, Yucatán, Mexico, April 22–26, 2002 Proceedings / by Coello Coello, Carlos A [editor.] \| Albornoz, Alvaro de [editor.] \| Sucar, Luis Enrique [editor.] \| Battistutti, Osvaldo Cairó [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	235.	Advances in Case-Based Reasoning [electronic resource] :6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4–7, 2002 Proceedings / by Craw, Susan [editor.] \| Preece, Alun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	236.	Principles and Practice of Constraint Programming - CP 2002 [electronic resource] :8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / by Hentenryck, Pascal Van [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	237.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] :International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures / by Backhouse, Roland [editor.] \| Crole, Roy [editor.] \| Gibbons, Jeremy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	238.	DNA Computing [electronic resource] :7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10–13, 2001 Revised Papers / by Jonoska, Nataša [editor.] \| Seeman, Nadrian C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	239.	Developments in Applied Artificial Intelligence [electronic resource] :15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE 2002 Cairns, Australia, June 17–20, 2002 Proceedings / by Hendtlass, Tim [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	240.	Advances in Learning Classifier Systems [electronic resource] :4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7–8, 2001 Revised Papers / by Lanzi, Pier Luca [editor.] \| Stolzmann, Wolfgang [editor.] \| Wilson, Stewart W [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Next »

Refine your search

Authors

Item types

Series

Topics