Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 33 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
The semantic foundations of logic [2] Predicate logic Richard L. Epstein von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht Kluwer 1994
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) EPSt r2 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Elementare Logik (Prädikatenlogik der ersten Stufe) Benson Mates. [Aus dem Amerik. übers. von Anneliese Oberschelp] von Reihen: ; 9,2 | Moderne Mathematik in elementarer Darstellung ; 900
Auflage: 2., verb. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Göttingen Vandenhoeck & Ruprecht 1978
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) MAT b 1978:1 1.Ex.
Vormerken Zum Korb hinzufügen
3.
The computational complexity of logical theories Jeanne Ferrante von Reihen: ; 71800 | Lecture notes in mathematics ; 718
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1979
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) LNM 718.
Vormerken Zum Korb hinzufügen
4.
Mass terms and model-theoretic semantics Harry C. Bunt von Reihen: ; 4200 | Cambridge studies in linguistics ; 42
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge University Press 1985
Hochschulschriftenvermerk: Teilw. zugl.: Amsterdam, Univ., Diss., 1981
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) BUN h4 1985:1 1.Ex.
Vormerken Zum Korb hinzufügen
5.
Computability, complexity, logic E. Börger von Reihen: ; 12800 | Studies in logic and the foundations of mathematics ; 12800
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North Holland 1989
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) BÖR e 1989:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
6.
Attribute-value logic and the theory of grammar Mark Johnson von Reihen: ; 1600 | Stanford University CSLI lecture notes ; 16 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Menlo Park, Calif. [u.a.] Center for the Study of Language and Information 1988
Hochschulschriftenvermerk: Zugl.: Diss.
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) CSLI 16, ...
Vormerken Zum Korb hinzufügen
7.
Foundations without foundationalism a case for second-order logic Stewart Shapiro von Reihen: Oxford science publications | ; 1700 | Oxford logic guides ; 1700
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Press 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) ShAP st 1991:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
8.
Künstliche Intelligenz, Logik und Mathematikunterricht Eva Pilz von Reihen: ; 33 | Texte zur mathematisch-naturwissenschaftlich-technischen Forschung und Lehre ; 33
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Bad Salzdetfurth Franzbecker 1991
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 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) PIL e 1991:1 1.Ex.
Vormerken Zum Korb hinzufügen
9.
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
10.
Pragmatische Programmsynthese von Gerd Neugebauer von Reihen: ; 18 | Dissertationen zur künstlichen Intelligenz ; 18
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1992
Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Hochsch., Diss., 1992
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) DISKI 18, ...
Vormerken Zum Korb hinzufügen
11.
Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe von Joachim Posegga von Reihen: ; 51 | Dissertationen zur künstlichen Intelligenz ; 51
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1993
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1993
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) DISKI 51, ...
Vormerken Zum Korb hinzufügen
12.
Extensions of first order logic by María Manzano von Reihen: ; 1900 | Cambridge tracts in theoretical computer science ; 19
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1996
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) MAN m2 1996:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
13.
Automated deduction in classical and non-classical logics selected papers [FTP '98 - International Workshop on First-Order Theorem Proving, held in November 1998 in Vienna]. Ricardo Caferra ... (eds.) von Reihen: ; 1761 | Lecture notes in computer science ; 1761
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 2000
Weitere Titel:
  • FTP '98, International Workshop on First-Order Theorem Proving
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 1761.
Vormerken Zum Korb hinzufügen
14.
The logic system of concept graphs with negation and its relationship to predicate logic Frithjof Dau von Reihen: ; 2892 | Lecture notes in computer science ; 2892
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Hochschulschriftenvermerk: Teilw. zugl.: @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 2892.
Vormerken Zum Korb hinzufügen
15.
Automated reasoning third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 ; proceedings Ulrich Furbach ... (eds.) von Reihen: ; 4130 | Lecture notes in computer science ; 4130
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11814771
Verlag: Berlin Heidelberg [u.a.] Springer 2006
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 4130. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
16.
17.
Lectures on the Curry-Howard isomorphism Morten Heine Sørensen; Paweł Urzyczyn von Reihen: ; 14900 | Studies in logic and the foundations of mathematics ; 14900
Auflage: 1st ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam Heidelberg Elsevier 2006
Online-Ressourcen:
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SOR m 2006:1 1.Ex.
Zum Korb hinzufügen
18.
Second-order quantifier elimination: foundations, computational aspects and applications Dov M. Gabbay ; Renate A. Schmidt ; Andrzej Szałas von Reihen: Mathematical logic and foundations | ; 1200 | Studies in logic ; 12
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London King's College Publ. 2008
Weitere Titel:
  • Second order
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Zum Korb hinzufügen
19.
Extensional paramodulation for higher-order logic and its effective implementation Leo-III Alexander Steen von Reihen: ; 345 | Dissertationen zur künstlichen Intelligenz ; 345
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam IOS Press [2018]Verlag: Berlin Akademische Verlagsgesellschaft AKA GmbH [2018]Copyright-Datum: © 2018
Hochschulschriftenvermerk: Dissertation Freie Universität Berlin 2018
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) DISKI 345.
Vormerken Zum Korb hinzufügen
20.
The logical approach to automatic sequences exploring combinatorics on words with Walnut Jeffrey Shallit (University of Waterloo) von Reihen: ; 482 | London Mathematical Society Lecture note series / London Mathematical Society ; 482 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, United Kingdom New York, NY, USA Port Melbourne, VIC, Australia New Delhi, India Singapore Cambridge University Press 2023
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1).
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha