- Sprache
-
Englisch
- Identifier
-
1077698151
- Reihe
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg; 2010-03
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 MEZ
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.
Objekttyp
- Monografie
Beteiligte
- Dang, Han-Hing
- Höfner, Peter
Ähnliche Objekte (12)
Bounded reasoning and higher-order uncertainty
Higher-Order Tableaux
Higher-order computability
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors
Automated segmentation for connectomics utilizing higher-order biological priors
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Polarized higher-order subtyping
HOT: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux
Higher-Order Multi-Valued Resolution
Bounded reasoning and higher-order uncertainty
Higher-Order Tableaux
Higher-order computability
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors
Automated segmentation for connectomics utilizing higher-order biological priors
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Polarized higher-order subtyping
HOT: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux
Higher-Order Multi-Valued Resolution
Bounded reasoning and higher-order uncertainty
Higher-Order Tableaux
Higher-order computability
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors
Automated segmentation for connectomics utilizing higher-order biological priors
Equality and extensionality in automated higher-order theorem proving
Higher-Order Order-Sorted Resolution
Polarized higher-order subtyping
HOT: A Concurrent Automated Theorem Prover based on Higher-Order Tableaux