Aufsatzsammlung
Automated deduction in classical and non-classical logic : selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540671909
3540671900
- Dimensions
-
24 cm
- Extent
-
VIII, 297 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1761 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
Prädikatenlogik
Stufe 1
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
2000
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 2:04 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Aufsatzsammlung
Associated
- Caferra, Ricardo
- Springer
Time of origin
- 2000
Other Objects (12)
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
Connection calculi for automated theorem proving in classical and non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Deduction : automated logic
Non-classical aspects in proof complexity
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization
Liquid Precursors in Non-Classical Crystallization
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
Connection calculi for automated theorem proving in classical and non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Deduction : automated logic
Non-classical aspects in proof complexity
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization
Liquid Precursors in Non-Classical Crystallization
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
Connection calculi for automated theorem proving in classical and non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Proof reconstruction in classical and non-classical logics
Shock discontinuities: from classical to non-classical shocks
Deduction : automated logic
Non-classical aspects in proof complexity
A framework for non-classical logics
Prenucleation Clusters and Non-classical Nucleation
New Horizons of Non-Classical Crystallization