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

Your cart is empty.

FEEDBACK

Your search returned 892 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

	21.	The Automation of Reasoning with Incomplete Information [electronic resource] :From Semantic Foundations to Efficient Computation / by Schaub, Torsten [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	22.	Compositionality: The Significant Difference [electronic resource] :International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / by Roever, Willem-Paul de [editor.] \| Langmaack, Hans [editor.] \| Pnueli, Amir [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	23.	Applications of Uncertainty Formalisms [electronic resource] / by Hunter, Anthony [editor.] \| Parsons, Simon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	24.	Machine Translation and the Information Soup [electronic resource] :Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedings / by Farwell, David [editor.] \| Gerber, Laurie [editor.] \| Hovy, Eduard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	25.	Principles and Practice of Constraint Programming — CP98 [electronic resource] :4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings / by Maher, Michael [editor.] \| Puget, Jean-Francois [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	26.	Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings / by Dix, Jürgen [editor.] \| Cerro, Luís Fariñas del [editor.] \| Furbach, Ulrich [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	27.	Types for Proofs and Programs [electronic resource] :International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers / by Giménez, Eduardo [editor.] \| Paulin-Mohring, Christine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	28.	Logic Program Synthesis and Transformation [electronic resource] :7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings / by Fuchs, Norbert E [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	29.	Algorithmic Learning Theory [electronic resource] :9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings / by Richter, Michael M [editor.] \| Smith, Carl H [editor.] \| Wiehagen, Rolf [editor.] \| Zeugmann, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	30.	Principles of Declarative Programming [electronic resource] :10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / by Palamidessi, Catuscia [editor.] \| Glaser, Hugh [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	31.	Advances in Case-Based Reasoning [electronic resource] :4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings / by Smyth, Barry [editor.] \| Cunningham, Pádraig [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	32.	Theorem Proving in Higher Order Logics [electronic resource] :11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings / by Grundy, Jim [editor.] \| Newey, Malcolm [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	33.	Artificial Intelligence and Symbolic Computation [electronic resource] :International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings / by Calmet, Jacques [editor.] \| Plaza, Jan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	34.	Logic Programming and Knowledge Representation [electronic resource] :Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers / by Dix, Jürgen [editor.] \| Pereira, Luís Moniz [editor.] \| Przymusinski, Teodor C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	35.	Grammatical Inference [electronic resource] :4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12–14, 1998 Proceedings / by Honavar, Vasant [editor.] \| Slutzki, Giora [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	36.	Automata Implementation [electronic resource] :Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers / by Wood, Derick [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	37.	Automated Deduction — CADE-15 [electronic resource] :15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings / by Kirchner, Claude [editor.] \| Kirchner, Hélène [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	38.	Rough Sets and Current Trends in Computing [electronic resource] :First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings / by Polkowski, Lech [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	39.	Computer Science Logic [electronic resource] :11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers / by Nielsen, Mogens [editor.] \| Thomas, Wolfgang [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	40.	Rewriting Techniques and Applications [electronic resource] :9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / by Nipkow, Tobias [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, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

Refine your search

Authors

Item types

Series

Topics