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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    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
Many-dimensional modal logics : theory and applications
Studies in logic and the foundations of mathematics : v. 148
1st ed, 2003
Volltextzugriff (PDF)
    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
Many-dimensional modal logics : theory and applications
1st ed
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Handbook of the logic of argument and inference : the turn towards the practical
1st ed
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Handbook of logic in artificial intelligence and logic programming
Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications
Signatur: TVU4594-...
    Datensatz exportieren als...
  • BibTeX
Reactive Kripke Semantics [Elektronische Ressource]
Cognitive Technologies
2013
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Labelled deductive systems
Oxford logic guides : ...
Signatur: TCL4501-...
    Datensatz exportieren als...
  • BibTeX
Automated practical reasoning and argumentation
Dagstuhl-Seminar-Report : 70 (Alle Bände)
1993
Signatur: TUF1092-70
    Datensatz exportieren als...
  • BibTeX
Handbook of the history of logic
2004-
Signatur: HLG1697-...
    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
Synthese library : ...
1983-
Signatur: HLF2096
    Datensatz exportieren als...
  • BibTeX
Semantical Investigations in Heyting�́�s Intuitionistic Logic
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science : 148
1981
Volltextzugriff (PDF)
    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
Semantical investigations in Heyting's intuitionistic logic
Synthese library : 148 (Alle Bände)
1981
Signatur: HLH1888
    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
Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Synthese library : 92 (Alle Bände)
1976
Signatur: HLF1553
    Datensatz exportieren als...
  • BibTeX
What is negation?
Applied logic series : 13 (Alle Bände)
1999
Signatur: HLH3076
    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
1 – 25 von 79
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen