Skip to contents

Interest Group in Pure and Applied Logics

Logic journal of the IGPL

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Oxford University Press, 1997- / 5.1997 -
Zukunftstechnologien

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Haar: MagnaMedia Verl., 1993- / 1993 -

Published in: Design & Elektronik
Journal of logic and computation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Eynsham, Oxford: Oxford Univ. Press, [1990-2020] / 1.1990/91-volume 30, number 8 (December 2020)
Trachtenbrot, Boris Avraamovič [Author] ; Rupp, Karl-Heinz [Other]

Wieso können Automaten rechnen : Einf. in die logisch-mathematischen Grundlagen programmgesteuerter Rechenautomaten - [6. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Dt. Verl. d. Wissenschaften, 1971

Published in: Mathematische Schülerbücherei ; 60.1971
Rine, David C. [Editor]

Computer science and multiple-valued logic : theory and applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1977
Arnold, André [Author]; Niwiński, Damian [Author]

Rudiments of [my]-calculus - [1. ed]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier, 2001

Published in: Studies in logic and the foundations of mathematics ; 14600
Martino, Antonio A. [Editor]; Socci Natali, Fiorenza [Editor] ; Consiglio nazionale delle ricerche, International Conference on Logic, Informatics, Law 2 1985 Florenz

Automated analysis of legal texts : logic, informatics, law ; edited versions of selected papers from the International Conference

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North Holland Publ., 1986
Negoiţă, Constantin V. [Author] ; Negoita, Constantin Virgil [Other]

Expert systems and fuzzy systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Menlo Park, Calif. [u.a.]: Benjamin/Cummings Publ. Comp., 1985
Richter, Michael M. [Editor]

Computation and proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1984

Published in: Logic Colloquium: Proceedings of the Logic Colloquium ; 2 - Lecture notes in mathematics ; 1104
The journal of logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: North-Holland, 1984-2000 ; New York, NY: Elsevier, anfangs / 1.1984 - 46.2000
Bibel, Wolfgang [Other] ; Conference on Automated Deduction 5 1980 Les Arcs

Conference on Automated Deduction / 5, Les Arcs, France, July 8 - 11, 1980 / ed. by W. Bibel

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1980

Published in: Conference on Automated Deduction ; 5 - Lecture notes in computer science ; 87
Brzoska, Christoph [Author]

Temporal logic programming : a survey

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ., Fak. für Informatik, 1989

Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,22
CSL

Proceedings / CSL, Workshop on Computer Science Logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1988-1989 / 1.1987(1988) - 2.1988(1989)
Kröger, Fred [Author]

Temporal logic of programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1987

Published in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8
Gabbay, Dov M. [Other]

Handbook of logic in computer science / 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1992

Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2
Gabbay, Dov M. [Editor]

Logic, grammar and language

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Hermes Science, 2000

Published in: Language and computation ; 1,1
Kuiper, Ruurd [Author]

Combining linear time temporal logic descriptions of concurrent computations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1989
Gabbay, Dov M. [Other]

Handbook of logic in computer science / 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay - [Repr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1999

Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr.
Adjan, Sergej I. [Editor] ; LFCS 4 1997 Jaroslawl

Logical foundations of computer science : 4th international symposium ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1234
Siefkes, Dirk [Author]

Formalisieren und beweisen : Logik für Informatiker

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1990

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication