Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 1. Logical foundations
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1993
Signatur: TVU4594-1
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 1. Elements of classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 164 (Alle Bände)
1983
Signatur: HLF2096-1
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 2. Extensions of classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 165 (Alle Bände)
1984
Signatur: HLF2096-2
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 3. Alternatives to classical logic
Handbook of philosophical logic (Alle Bände), Synthese library : 166 (Alle Bände)
1986
Signatur: HLF2096-3
    Datensatz exportieren als...
  • BibTeX
Handbook of philosophical logic. 4. Topics in the philosophy of language
Handbook of philosophical logic (Alle Bände), Synthese library : 167 (Alle Bände)
1989
Signatur: HLF2096-4
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 3. Nonmonotonic reasoning and uncertain reasoning
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1994
Signatur: TVU4594-3
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming. 4. Epistemic and temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Alle Bände)
1995
Signatur: TVU4594-4
    Datensatz exportieren als...
  • BibTeX
Labelled deductive systems. 1
Labelled deductive systems (Alle Bände), ... : 33 (Alle Bände)
1996
Signatur: TCL4501-1
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 8. The many valued and nonmonotonic turn in logic / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
2007
Signatur: HLG1697-8
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 4. British logic in the nineteenth century
Handbook of the history of logic (Alle Bände)
1. ed, 2008
Signatur: HLG1697-4
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 3. The rise of modern logic : from Leibniz to Frege
Handbook of the history of logic (Alle Bände)
1. ed, 2004
Signatur: HLG1697-3
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 1. Greek, Indian and Arabic logic / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
1. ed, 2004
Signatur: HLG1697-1
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic. 7. Logic and the modalities in the twentieth century / ed. by Dov M. Gabbay
Handbook of the history of logic (Alle Bände)
1. ed, 2006
Signatur: HLG1697-7
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 1
Temporal logic (Alle Bände), ... : 28 (Alle Bände)
1994
Signatur: TCL4276-1
    Datensatz exportieren als...
  • BibTeX
Temporal logic : mathematical foundations and computational aspects. 2
Temporal logic (Alle Bände), Oxford logic guides : 40 (Alle Bände)
2000
Signatur: TCL4276-2
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic [Elektronische Ressource]. Volume 5. Logic from Russell to Church
Handbook of the history of logic (Alle Bände)
First edition, 2009
    Datensatz exportieren als...
  • BibTeX
Handbook of the logic of argument and inference : the turn towards the practical [electronic resource]
1st ed
    Datensatz exportieren als...
  • BibTeX
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences : 92
1976
    Datensatz exportieren als...
  • BibTeX
Semantical Investigations in Heyting�́�s Intuitionistic Logic
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science : 148
1981
    Datensatz exportieren als...
  • BibTeX
Many-dimensional modal logics : theory and applications [electronic resource]
1st ed
    Datensatz exportieren als...
  • BibTeX
Many-dimensional modal logics : theory and applications
Studies in logic and the foundations of mathematics : v. 148
1st ed, 2003
    Datensatz exportieren als...
  • BibTeX
Handbook of the logic of argument and inference : the turn towards the practical
Studies in logic and practical reasoning : v. 1
1st ed, 2002
    Datensatz exportieren als...
  • BibTeX
Goal-Directed Proof Theory [Elektronische Ressource]
Applied Logic Series : 21
2000
    Datensatz exportieren als...
  • BibTeX
Handbook of Philosophical Logic
Handbook of Philosophical Logic : 6
2nd Edition, 2002
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic [electronic resource]. Volume 2. Mediaeval and renaissance logic
1st ed
1 – 25 von 55
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
SchlagwortDatabase management
SchlagwortLinguistics
Suchergebnisse filtern
Filter anzeigen