Skip to contents

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
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)
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. [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.
Gabbay, Dov M. [Other]

Handbook of logic in computer science / 1, Background: Mathematical 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 ... ; 1
Abramsky, Samson [Other]

Handbook of logic in computer science / 4, Semantic modelling / vol. co-ordinator S. Abramsky

Close

Bookmarks

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

Oxford: Clarendon Press, 1995

Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 4
Abramsky, Samson [Other]

Handbook of logic in computer science / 3, Semantic structures / vol. co-ordinator S. Abramsky

Close

Bookmarks

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

Oxford: Clarendon Press, 1994

Published in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 3
Freund, Michael [Author]

Anpassung der Logik an die Wirklichkeit

Close

Bookmarks

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

Wien u. New York, 1997

Published in: Freund, Michael: GeistesBlitze ; (1997), Seite 54-56
Matthiessen, Günter [Author]

Logik für Software-Ingenieure

Close

Bookmarks

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

Berlin [u.a.]: de Gruyter, 1991

Published in: Programmierung komplexer Systeme ; 3
Galton, Antony [Author]

Logic for information technology

Close

Bookmarks

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

Chichester; New York; Brisbane: Wiley, 1990
Kreowski, Hans-Jörg [Author]

Logische Grundlagen der Informatik

Close

Bookmarks

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

München; Wien: Oldenbourg, 1991

Published in: Handbuch der Informatik ; 1,1
Symposium on Logic in Computer Science

Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE

Close

Bookmarks

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

Washington, DC: Computer Society Pr., 1986-1989 / [1.]1986; 2.1987 - 4.1989
Symposium on Logic in Computer Science 14 1999 Trient, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Proceedings / 14th Symposium on Logic in Computer Science : July 2 - 5, 1999, Trento, Italy

Close

Bookmarks

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

Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1999
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
Kindermann, Carsten [Author]

Verwaltung assertorischer Inferenzen in terminologischen Wissensbanksystemen

Close

Bookmarks

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

1995
Hájek, Petr [Author] ; Havránek, Tomáš [Other]; Hajek, P. [Other]; Havranek, T. [Other]

Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obščej teorii

Close

Bookmarks

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

Moskva: Nauka, 1984

Published in: Problemy iskusstvennogo intellekta
Moschovakis, Yiannis N. [Editor]

Logic from computer science : proceedings of a workshop, held November 13 - 17, 1989

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, 1992

Published in: Mathematical Sciences Research Institute: Mathematical Sciences Research Institute publications ; 21
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
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
Zimmermann, Wolf [Author]

Die Verwendung mehrwertiger und nicht-monotoner Logiken zur Programmkonstruktion

Close

Bookmarks

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

Sankt Augustin: Ges. für Mathematik u. Datenverarbeitung, 1988

Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 131

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