Logic, algebra, and computation international summer school directed by F.L. Bauer ... [et al.]

Logic, algebra, and computation international summer school directed by F.L. Bauer ... [et al.]

Saved in:

Bibliographic Details
Other Authors:	Bauer, Friedrich Ludwig 1924-
Format:	Unknown
Published:	Berlin Springer-Verlag 1991
Series:	NATO ASI series. Series F, Computer and systems sciences vol. 79
Subjects:	Logic programming > Congresses Algebra > Congresses Computational complexity > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic Logic and Universal Algebra in Computer Science Conference proceedings of the ... held June 1-4, 1988 ; C.H. Bergam, R. D. Maddux, D.L. Pigozzi (eds.)
Published: (1990)

Logic and computer science
Published: (1990)

Logic programming proceedings of the joint International Conference and Symposium on Logic Programming
Published: (1992)

Logic programming First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
Published: (1992)

Logic programming 23rd international conference, ICLP, Porto, Portugal, September 8-13, 2007. proceedings
Published: (2007)

Meta-programming in logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
Published: (1992)

Inductive logic programming proceedings of the ...held July 24 - 27, 2000
Published: (2000)

Logic programming '88 proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
Published: (1989)

Logic based program synthesis and transformation selected papers July 24 - 28, 2000
Published: (2001)

Kolmogorov complexity and computational complexity
Published: (1992)

Functional and logic planning proceedings of the ... held March 7-9, 2001
Published: (2001)

Proof and computation
Published: (1995)

Theoretical advances and applications of fuzzy logic and soft computing
Published: (2007)

Programming language implementation and logic programming 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
Published: (1992)

Constructive methods in computing science international summer school directed by F.L. Bauer ... [et al.]
Published: (1989)

Machines, languages, and complexity
Published: (1989)

Natural language understanding and logic programming proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Published: (1985)

Deontic logic in computer science normative system specifications
Published: (1993)

Natural language understanding and logic programming,II Proceedings od the Second International Workshop on Natural Language Understanding and Logic Programming Vancouver, Canada 17-19 August 1987
Published: (1988)

Nonmonotonic and inductive logic 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings
Published: (1991)

Fuzzy logic
Published: (1996)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

Fundamentals of computation theory proceedings of the..., Szeged, Hungary, August 21-25, 1989
Published: (1989)

Sophisms in medieval logic and grammar acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St. Andrews, June 1990
Published: (1993)

Advances in modal logic
Published: (2002)

Computational noncommutative algebra and applications
Published: (2004)

Hypercomplex analysis
Published: (2009)

Computation as logic
by: Lalement, Rene
Published: (1993)

The computational complexity of algebraic and numeric problems
by: Borodin, Allan
Published: (1975)

Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994)

Logic in algebraic form three languages and theories
by: Craig, William
Published: (1974)

The journal of logic and algebraic programming
Published: (2001)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004)

Applications of computer algebra
Published: (1985)

Computing with logic logic programming with Prolog
by: Maier, David 1953-
Published: (1988)

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

Proceedings of the International Colloquium on Algebra, Arithmetic and Geometry, Mumbai 2000
Published: (2002)

Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978)

Forging new frontier fuzzy pioneers II
Published: (2007)

Language hierarchies and interfaces international summer school
Published: (1976)