- Standort
-
München, Bayerische Staatsbibliothek -- Ph.sp. 470 p
- Umfang
-
XVIII, 276 S.
- Ausgabe
-
2. ed., enl. and improved
- Sprache
-
Englisch
- Schlagwort
-
Logic
- Ereignis
-
Veröffentlichung
- (wo)
-
Glasgow
- (wer)
-
MacLehose
- (wann)
-
1845
- Urheber
-
Leechman, John
- URN
-
urn:nbn:de:bvb:12-bsb10043727-8
- Letzte Aktualisierung
-
16.04.2025, 08:44 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Leechman, John
- MacLehose
Entstanden
- 1845
Ähnliche Objekte (12)
Reasoning with logic programming
Logic and causal reasoning
Weak autoepistemic reasoning : a study in autoepistemic reasoning from a logic programming perspective
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Automated reasoning and randomization in separation logic
Logic for programming and automated reasoning : proceedings
Embedding Rely-Guarantee Reasoning in Temporal Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Goal-directed reasoning in clausal logic with equality
Reasoning with logic programming
Logic and causal reasoning
Weak autoepistemic reasoning : a study in autoepistemic reasoning from a logic programming perspective
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Automated reasoning and randomization in separation logic
Logic for programming and automated reasoning : proceedings
Embedding Rely-Guarantee Reasoning in Temporal Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Goal-directed reasoning in clausal logic with equality
Reasoning with logic programming
Logic and causal reasoning
Weak autoepistemic reasoning : a study in autoepistemic reasoning from a logic programming perspective
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Automated reasoning and randomization in separation logic
Logic for programming and automated reasoning : proceedings
Embedding Rely-Guarantee Reasoning in Temporal Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs