- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 1999
- Classification
-
Informatik
- Keyword
-
Automatisches Beweisverfahren
Inferenzsystem
Horn-Klausel
Resolution
Gleichungstheorie
Erfüllbarkeitsproblem
Automatisches Beweisverfahren ; Inferenzsystem ; Horn-Klausel ; Resolution ; Gleichungstheorie ; Erfüllbarkeitsproblem
- Creator
-
Meyer, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-2065
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM 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
- Hochschulschrift
Associated
- Meyer, Christoph
Other Objects (12)
Soft typing for clausal inference systems
Fast phylogenetic inference from typing data
Histological typing of soft tissue tumours
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
Measuring and Assessing Typing Skills in Writing Research
DRAFTS FOR TYPING
Phage typing or CRISPR typing for epidemiological surveillance of Salmonella Typhimurium?
Rapid inference of antibiotic susceptibility phenotype of uropathogens using metagenomic sequencing with neighbor typing
Machine learning-based novel continuous authentication system using soft keyboard typing behavior and motion sensor data
Bayesian nonparametric inference for queueing systems
Bayesian Nonparametric Inference for Queueing Systems
SNIT: SNP identification for strain typing
Soft typing for clausal inference systems
Fast phylogenetic inference from typing data
Histological typing of soft tissue tumours
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
Measuring and Assessing Typing Skills in Writing Research
DRAFTS FOR TYPING
Phage typing or CRISPR typing for epidemiological surveillance of Salmonella Typhimurium?
Rapid inference of antibiotic susceptibility phenotype of uropathogens using metagenomic sequencing with neighbor typing
Machine learning-based novel continuous authentication system using soft keyboard typing behavior and motion sensor data
Bayesian nonparametric inference for queueing systems
Bayesian Nonparametric Inference for Queueing Systems
SNIT: SNP identification for strain typing
Soft typing for clausal inference systems
Fast phylogenetic inference from typing data
Histological typing of soft tissue tumours
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
Measuring and Assessing Typing Skills in Writing Research
DRAFTS FOR TYPING
Phage typing or CRISPR typing for epidemiological surveillance of Salmonella Typhimurium?
Rapid inference of antibiotic susceptibility phenotype of uropathogens using metagenomic sequencing with neighbor typing
Machine learning-based novel continuous authentication system using soft keyboard typing behavior and motion sensor data
Bayesian nonparametric inference for queueing systems
Bayesian Nonparametric Inference for Queueing Systems