Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 200 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Mathematische Logik mit Informatik-Anwendungen Eberhard Bergmann; Helga Noll von Reihen: ; 18700 | Heidelberger Taschenbücher ; 187
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1977
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BER e 1977:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
2.
Automated theorem proving a logical basis Donald W. Loveland von Reihen: ; 6 | Fundamental studies in computer science ; 6
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland Publ. Co. 1978
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LOV d 1978:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
3.
Using sophisticated models in resolution theorem proving David M. Sandford von Reihen: ; 9000 | Lecture notes in computer science ; 90
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1980
Hochschulschriftenvermerk: Zugl.: Diss. u.d.T.: Sandford, David M.: HL-resolution, a semantic refinement of resolution and a theory of model specification
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 90.
Vormerken Zum Korb hinzufügen
4.
Logic for problem solving Robert Kowalski von Reihen: The computer science library | ; 7 | Artificial intelligence series ; 7
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York [u.a.] North-Holland c 1979
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KOW r 1979:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
5.
From logic design to logic programming theorem proving techniques and P-functions Dominique Snyers; André Thayse von Reihen: ; 27100 | Lecture notes in computer science ; 271
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1987
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 271.
Vormerken Zum Korb hinzufügen
6.
Logic and computation interactive proof with Cambridge LCF Lawrence C. Paulson von Reihen: ; 200 | Cambridge tracts in theoretical computer science ; 2
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 1987
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PAU l 1987:1 3.Ex, ...
Vormerken Zum Korb hinzufügen
7.
Automated theorem proving after 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983 ed. by W. W. Bledsoe ... von Reihen: ; 2900 | Contemporary mathematics ; 29.1985
Auflage: Reprint.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Providence, RI American Math. Soc. 1985
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) CONM 29.
Vormerken Zum Korb hinzufügen
8.
Compositionality, concurrency and partial correctness proof theories for networks of processes and their relationship J. Zwiers von Reihen: ; 32100 | Lecture notes in computer science ; 321
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989
Hochschulschriftenvermerk: Zugl.: Eindhoven, Techn. Univ., Diss., 1988
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 321.
Vormerken Zum Korb hinzufügen
9.
Communication complexity a new approach to circuit depth Mauricio Karchmer von Reihen: ; 1988 | Association for Computing Machinery ACM - MIT Press doctoral dissertation award series ; 1988 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Pr. 1989
Hochschulschriftenvermerk: Zugl.: Jerusalem, Hebrew Univ., Diss.
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KAR m2 1989:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
A computational logic handbook Robert S. Boyer; J. Strother Moore von Reihen: ; 23 | Perspectives in computing ; 23
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Academic Press 1988
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BOY r 1988:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
11.
Proceedings / 10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24 - 27, 1990 M. E. Stickel (ed.) von Reihen: ; 449 | Lecture notes in computer science ; 449
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 449.
Vormerken Zum Korb hinzufügen
12.
Canonical equational proofs Leo Bachmair von Reihen: ; 100 | Progress in theoretical computer science ; 1
Auflage: 1. pr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston Berlin [Stuttgart] [u.a.] Birkhäuser 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BACh l 1991:1 2.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
13.
Instantiation theory on the foundations of automated deduction J. G. Williams von Reihen: ; 518 | Lecture notes in computer science ; 518
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 518.
Vormerken Zum Korb hinzufügen
14.
A resolution principle for a logic with restricted quantifiers H.-J. Bürckert von Reihen: ; 568 | Lecture notes in computer science ; 568
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Hochschulschriftenvermerk: Teilw. zugl.: Kaiserslautern, Univ., Diss.
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 568.
Vormerken Zum Korb hinzufügen
15.
Automated reasoning essays in honor of Woody Bledsoe von Reihen: ; 1 | Automated reasoning series ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Academic 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BOY r 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
16.
A proof theory for general unification Wayne Snyder von Reihen: ; 11 | Progress in computer science and applied logic ; 11
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [Stuttgart] [u.a.] Birkhäuser 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SNY w 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
17.
Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo von Reihen: ; 302 | Informatik-Fachberichte ; 302
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1989 u.d.T.: Biundo-Stephan, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Weitere Titel:
  • Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) IFB 302 1.Ex.
Vormerken Zum Korb hinzufügen
18.
Verifying temporal properties of systems Julian Charles Bradfield von Reihen: ; 6 | Progress in theoretical computer science ; 6
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [Stuttgart] [u.a.] Birkhäuser 1992
Hochschulschriftenvermerk: Teilw. zugl.: Edinburgh, Univ., Diss., 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BRA j3 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
19.
Parallelization in inference systems International Workshop, Dagstuhl Castle, Germany, December 17 - 18, 1990 ; proceedings B. Fronhöfer ... (eds.) von Reihen: ; 590 | Lecture notes in computer science ; 590
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 590.
Vormerken Zum Korb hinzufügen
20.
Automated deduction CADE-11 ; proceedings Deepak Kapur [Hrsg.] von Reihen: ; 607 | Lecture notes in computer science ; 607
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Weitere Titel:
  • CADE-11
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 607.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha