Zum Inhalt springen

Moschovakis, Yiannis N. [HerausgeberIn]

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

Schließen

Merkliste

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

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

Erschienen in: Mathematical Sciences Research Institute: Mathematical Sciences Research Institute publications ; 21
Matthiessen, Günter [VerfasserIn]

Logik für Software-Ingenieure

Schließen

Merkliste

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

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

Erschienen in: Programmierung komplexer Systeme ; 3
Kreowski, Hans-Jörg [VerfasserIn]

Logische Grundlagen der Informatik

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, 1991

Erschienen in: Handbuch der Informatik ; 1,1
Siefkes, Dirk [VerfasserIn]

Formalisieren und beweisen : Logik für Informatiker

Schließen

Merkliste

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

Braunschweig; Wiesbaden: Vieweg, 1990
Meyer, Albert R. [HerausgeberIn] ; Symposium on Logical Foundations of Computer Science 1 1989 Pereslavlʹ-Zalesskij

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3 - 8, 1989 ; 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, 1989

Erschienen in: Lecture notes in computer science ; 363 - Logic at Botik ; 1989
Bergmann, Eberhard [VerfasserIn]; Noll, Helga [VerfasserIn]

Mathematische Logik mit Informatik-Anwendungen

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, 1977

Erschienen in: Heidelberger Taschenbücher ; 187
Galton, Antony [VerfasserIn]

Logic for information technology

Schließen

Merkliste

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

Chichester; New York; Brisbane: Wiley, 1990
Abramsky, Samson [HerausgeberIn]

Handbook of logic in computer science

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: Oxford science publications
Odifreddi, Piergiorgio [HerausgeberIn]

Logic and computer science

Schließen

Merkliste

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

London [u.a.]: Academic Press, 1990

Erschienen in: Automatic Programming Information Centre: APIC series ; 31
Abramsky, Samson [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

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

Oxford: Clarendon Press, 1995

Erschienen in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 4
Abramsky, Samson [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

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

Oxford: Clarendon Press, 1994

Erschienen in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 3
Kreschnak, Horst [VerfasserIn]

Computergestützte Analysen von Schülerleistungen : ein Beitrag zur Logik und Methodologie der Diagnostik - [1. Auflage]

Schließen

Merkliste

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

Berlin: Volk und Wissen, 1985

Erschienen in: Beiträge zur Pädagogik ; 34
Liebig, Hans [VerfasserIn]

Logischer Entwurf digitaler Systeme : Beispiele und Übungen

Schließen

Merkliste

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

Berlin [u.a.]: Springer, 1975

Erschienen in: Hochschultext
Davis, Martin [VerfasserIn]

The universal computer : the road from Leibniz to Turing - [Turing centenary ed.]

Schließen

Merkliste

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

Boca Raton, Fla. [u.a.]: CRC Press, 2012

Erschienen in: An A K Peters book
Zimmermann, Wolf [VerfasserIn]

Die Verwendung mehrwertiger und nicht-monotoner Logiken zur Programmkonstruktion

Schließen

Merkliste

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

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

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 131
Jiang, Tao [HerausgeberIn] ; COCOON 3 1997 Schanghai

Computing and combinatorics : third Annual International Conference COCOON '97, Shanghai, China, August 20-22, 1997; 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 ; 1276
Deza, Michel [HerausgeberIn] ; CCS 1995 Brest, Finistère

Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3 - 5, 1995; selected papers

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1120
Cai, Jin-Yi [HerausgeberIn] ; COCOON 2 1996 Hongkong

Computing and combinatorics : second Annual International Conference COCOON '96, Hong Kong, June 17 - 19, 1996; 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, 1996

Erschienen in: Lecture notes in computer science ; 1090
Srivastava, Jaya [HerausgeberIn]; Srivastava, Jaya N. [HerausgeberIn] ; Symposium on Combinatorial Mathematics and Optimal Design 1978 Fort Collins, Colo

Combinatorial mathematics, optimal designs and their applications

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. Co., 1980

Erschienen in: Annals of discrete mathematics ; 6
Schroeder-Heister, Peter [HerausgeberIn]; Došen, Kosta [Sonstige Person, Familie und Körperschaft] ; Eberhard Karls Universität Tübingen Seminar für Natürlich-Sprachliche Systeme

Substructural logics

Schließen

Merkliste

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

Oxford [u.a.]: Clarendon Press, 1993

Erschienen in: Studies in logic and computation ; 2

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