Derivations and Formalizations (Englisch)
- Neue Suche nach: Ayala-Rincón, Mauricio
- Neue Suche nach: Moura, Flávio L. C.
- Neue Suche nach: Ayala-Rincón, Mauricio
- Neue Suche nach: Moura, Flávio L. C.
In:
Applied Logic for Computer Scientists
;
95-119
;
2017
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Derivations and Formalizations
-
Beteiligte:Ayala-Rincón, Mauricio ( Autor:in ) / Moura, Flávio L. C. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2017
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Derivation and Proofs in the Propositional LogicAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017
- 43
-
Derivations and Proofs in the Predicate LogicAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017
- 73
-
Deductions in the Style of Gentzen’s Sequent CalculusAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017
- 95
-
Derivations and FormalizationsAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017
- 121
-
Algebraic and Computational ExamplesAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017
- 139
-
Suggested ReadingsAyala-Rincón, Mauricio / Moura, Flávio L. C. et al. | 2017