Zum Inhalt springen

Schöning, Uwe [Verfasser:in]

Logic for computer scientists - [Reprint of the 1989 ed.]

Online ansehen
Schließen

Schließen

Merkliste

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

Boston; Basel; Berlin: Birkhäuser, 2008

Erschienen in: Modern Birkhäuser Classics
Brzoska, Christoph [Verfasser:in]

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
Schöning, Uwe [Verfasser:in]

Logik für Informatiker

Online ansehen
Schließen

Schließen

Merkliste

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

Mannheim [u.a.]: BI-Wissenschaftsverl., 1987

Erschienen in: Reihe Informatik ; 56
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

Online ansehen
Schließen

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
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
Dassow, Jürgen [Verfasser:in]

Logik für Informatiker - [1. Aufl.]

Schließen

Merkliste

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

Stuttgart; Leipzig; Wiesbaden: Teubner, 2005

Erschienen in: Lehrbuch Mathematik
Readi-Nasser, Rodrigo [Verfasser:in]

An intuitionistic approach to logic programming

Schließen

Merkliste

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

Kaiserslautern: Fachbereich Informatik, Univ., 1998

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 29600
Dreehsen, Heinz-Gerd [Verfasser:in]

Logik der Programmierung

Schließen

Merkliste

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

Berlin; Offenbach: VDE-Verl., 1995
Fischbach, Franz [Verfasser:in]; Groß, Jürgen [Verfasser:in]

Programmierlogik

Schließen

Merkliste

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

Köln-Braunsfeld: R. Müller, 1976

Erschienen in: Die elektronische Datenverarbeitung von A bis Z
MacCabe, Frank G. [Verfasser:in]; MacCabe, Francis G. [Verfasser:in]

Logic and objects

Online ansehen
Schließen

Schließen

Merkliste

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

New York; London [u.a.]: Prentice Hall, 1992

Erschienen in: Prentice-Hall international series in computer science
Lavrač, Nada [Verfasser:in]; Džeroski, Sašo [Verfasser:in]

Inductive logic programming : techniques and applications - [1. publ.]

Online ansehen
Schließen

Schließen

Merkliste

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

New York [u.a.]: Horwood, 1994

Erschienen in: Ellis Horwood series in artificial intelligence
Loczewski, Paul G. [Verfasser:in] ; Loczewski, Paul Georg [Sonstige Person, Familie und Körperschaft]

Logik der Strukturierung von Programmen : Programmentwicklung nach Warnier

Schließen

Merkliste

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

München; Wien: Oldenbourg, 1980

Erschienen in: Reihe Datenverarbeitung
Bakker, Jacobus W. de [Verfasser:in] ; Bruin, Arie de [Sonstige Person, Familie und Körperschaft]

Mathematical theory of program correctness

Schließen

Merkliste

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

Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

Erschienen in: Prentice-Hall International series in computer science
Schöning, Uwe [Verfasser:in]

Logik für Informatiker - [5. Auflage]

Online ansehen
Schließen

Schließen

Merkliste

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

Heidelberg; Berlin: Spektrum Akademischer Verlag, [2000]

Erschienen in: Spektrum-Hochschultaschenbuch
Schöning, Uwe [Verfasser:in]

Logik für Informatiker - [5. Auflage, korrigierter Nachdruck]

Online ansehen
Schließen

Schließen

Merkliste

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

Heidelberg; Berlin: Spektrum Akademischer Verlag, [2000]

Erschienen in: Spektrum-Hochschultaschenbuch
Schöning, Uwe [Verfasser:in]

Logik für Informatiker - [4., überarb. Aufl.]

Online ansehen
Schließen

Schließen

Merkliste

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

Heidelberg [u.a.]: Spektrum, Akad. Verl., 1995

Erschienen in: Spektrum Lehrbuch: Reihe Informatik- Reihe Informatik
Schöning, Uwe [Verfasser:in]

Logik für Informatiker - [3., überarb. Aufl.]

Online ansehen
Schließen

Schließen

Merkliste

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

Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1992

Erschienen in: Reihe Informatik ; 56.1992
Schöning, Uwe [Verfasser:in]

Logik für Informatiker - [2., überarb. Aufl.]

Online ansehen
Schließen

Schließen

Merkliste

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

Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1989

Erschienen in: Reihe Informatik ; 56.1989
Doets, Kees [Verfasser:in]

From logic to logic programming

Online ansehen
Schließen

Schließen

Merkliste

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

Cambridge, Mass. [u.a.]: MIT Press, 1994

Erschienen in: Foundations of computing series
Beckmann, Markus [Verfasser:in]

Ein Fuzzy-Softwaremaß für die Eignung der objektorientierten Softwareentwicklung

Schließen

Merkliste

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

1997 ; Mikrofiche-Ausg.

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