- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Deduction and Reduction Theorems for Inferential Erotetic Logic ; volume:106 ; number:2 ; day:7 ; month:7 ; year:2017 ; pages:295-309 ; date:4.2018
Studia logica ; 106, Heft 2 (7.7.2017), 295-309, 4.2018
- Klassifikation
-
Mathematik
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11225-017-9738-8
- URN
-
urn:nbn:de:1111-2018052015814
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 11:03 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Wiśniewski, Andrzej
- SpringerLink (Online service)
Ähnliche Objekte (12)
Deduction : automated logic
Logic, 1. Deduction
Propositional logic : deduction and algorithms
The completeness theorem for adapted probability logic
A topological completeness theorem for transfinite provability logic
A Deduction of the Hellmann-Feynman Theorem
mj-Reduction for Proving in Predicate Logic
Normal form theorem for logic programs with cardinality constraints
Automated deduction in equational logic and cubic curves
Simplification and reduction for automated theorem proving
First order logic and automated theorem proving
First order logic and automated theorem proving
Deduction : automated logic
Logic, 1. Deduction
Propositional logic : deduction and algorithms
The completeness theorem for adapted probability logic
A topological completeness theorem for transfinite provability logic
A Deduction of the Hellmann-Feynman Theorem
mj-Reduction for Proving in Predicate Logic
Normal form theorem for logic programs with cardinality constraints
Automated deduction in equational logic and cubic curves
Simplification and reduction for automated theorem proving
First order logic and automated theorem proving
First order logic and automated theorem proving
Deduction : automated logic
Logic, 1. Deduction
Propositional logic : deduction and algorithms
The completeness theorem for adapted probability logic
A topological completeness theorem for transfinite provability logic
A Deduction of the Hellmann-Feynman Theorem
mj-Reduction for Proving in Predicate Logic
Normal form theorem for logic programs with cardinality constraints
Automated deduction in equational logic and cubic curves
Simplification and reduction for automated theorem proving
First order logic and automated theorem proving