Zum Inhalt springen

Interest Group in Pure and Applied Logics

Logic journal of the IGPL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Haar: MagnaMedia Verl., 1993- / 1993 -

Erschienen in: Design & Elektronik
Journal of logic and computation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eynsham, Oxford: Oxford Univ. Press, [1990-2020] / 1.1990/91-volume 30, number 8 (December 2020)
Trachtenbrot, Boris Avraamovič [VerfasserIn] ; Rupp, Karl-Heinz [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Dt. Verl. d. Wissenschaften, 1971

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

Computer science and multiple-valued logic : theory and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: Elsevier, 2001

Erschienen in: Studies in logic and the foundations of mathematics ; 14600
Martino, Antonio A. [HerausgeberIn]; Socci Natali, Fiorenza [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North Holland Publ., 1986
Negoiţă, Constantin V. [VerfasserIn] ; Negoita, Constantin Virgil [Sonstige Person, Familie und Körperschaft]

Expert systems and fuzzy systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Computation and proof theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: North-Holland, 1984-2000 ; New York, NY: Elsevier, anfangs / 1.1984 - 46.2000
Bibel, Wolfgang [Sonstige Person, Familie und Körperschaft] ; Conference on Automated Deduction 5 1980 Les Arcs

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1980

Erschienen in: Conference on Automated Deduction ; 5 - Lecture notes in computer science ; 87
CSL

Proceedings / CSL, Workshop on Computer Science Logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1988-1989 / 1.1987(1988) - 2.1988(1989)
Brzoska, Christoph [VerfasserIn]

Temporal logic programming : a survey

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,22
Kröger, Fred [VerfasserIn]

Temporal logic of programs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8
Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1992

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

Logic, grammar and language

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Hermes Science, 2000

Erschienen in: Language and computation ; 1,1
Kuiper, Ruurd [VerfasserIn]

Combining linear time temporal logic descriptions of concurrent computations

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1989
Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1999

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 1234
Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1992

Erschienen in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr