Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Formal Languages and Automata Theory)
Results:349items
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course / edited by Hubert Comon, Jean-Pierre Jouannaud
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 909)
E-Book
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D. W. Loveland
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 138)
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings / edited by C. Choffrut
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 316)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures / edited by Bruno Buchberger
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 203)
Using Sophisticated Models in Resolution Theorem Proving / by David M. Sandford
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 90)
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984 / edited by M. Nivat, D. Perrin
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 192)
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings / edited by Stephane Kaplan, Jean-Pierre Jouannaud
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 308)
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings / edited by P. Dembinski
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 88)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions / edited by Bob F. Caviness
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 204)
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 202)
Context-Free Grammars : Covers, Normal Forms, and Parsing / by A. Nijholt
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 93)
Type Systems for Distributed Programs: Components and Sessions / by Ornela Dardha
1st ed. 2016.. - (Paris : Atlantis Press : Imprint: Atlantis Press , 2016). - (Atlantis Studies in Computing. ISSN:22128565 ; 7)
Mathematical Logic and Model Theory : A Brief Introduction / by Alexander Prestel, Charles N. Delzell
1st ed. 2011.. - (London : Springer London : Imprint: Springer , 2011). - (Universitext. ISSN:21916675)
Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
1st ed. 1973.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973). - (Lecture Notes in Mathematics. ISSN:16179692 ; 337)
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi / by Vito Michele Abrusci, Lorenzo Tortora de Falco
1st ed. 2018.. - (Milano : Springer Milan : Imprint: Springer , 2018). - (La Matematica per il 3+2. ISSN:20385757 ; 111)
KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings / edited by Bernhard Nebel, Leonie Dreschler-Fischer
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 861)
Foundations of Knowledge Representation and Reasoning / edited by Gerhard Lakemeyer, Bernhard Nebel
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 810)
Grammatical Inference and Applications : Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994. Proceedings / edited by Rafael C. Carrasco, Jose Oncina
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 862)
Methodologies for Intelligent Systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings / edited by Zbigniew W. Ras, Maria Zemankova
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 869)
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings / edited by Christine Froidevaux, Juerg Kohlas
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 946)