Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2005 | 1995 | 1991 | 1988 | 1987 | 1986
Anzahl der Publikationen: 9

2005

Bry, François und Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. [PDF, 125kB]

1995

Bry, François; Manthey, Rainer und Schütz, Heribert (1995): Deduktive Datenbanken. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung [PDF, 168kB]

1991

Bry, François; Manthey, Rainer und Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991. Voronkov, Andrej (Hrsg.): In: Logic programming, S. 114-139 [PDF, 3MB]

1988

Bry, François; Decker, Hendrik und Manthey, Rainer (1988): A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. International Conference on Extending Database Technology, Venedig, 14.03.-18.03.1988. Schmidt, Joachim W. (Hrsg.): In: Advances in database technology, S. 488-505 [PDF, 1MB]

Bry, François und Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988. Lusk, Ewing (Hrsg.): In: Proceedings 9th International Conference on Automated Deduction (CADE), S. 415-434 [PDF, 2MB]

1987

Bry, François und Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Deutschland, 28.09. - 02.10.1987. Morik, Katharina (Hrsg.): In: GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings, Berlin u.a.: Springer. S. 221-230 [PDF, 1MB]

Bry, François und Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), Karlsruhe, 12.10.-16.10.1987. Börger, Egon (Hrsg.): In: Lecture Notes in Computer Science - CSL '87 : 1st Workshop on Computer Science Logic, S. 44-55 [PDF, 955kB]

1986

Bry, François und Manthey, Rainer (1986): Sur la Validité des Schémas de Bases de Données. Journées Bases de Données Avancées, Giens, Frankreich, 22. - 25.04.1986. Journées Bases de Données Avancées. Bd. 2 S. 1-19 [PDF, 1MB]

Bry, François und Manthey, Rainer (1986): Checking Consistency of Database Constraints. A Logical Basis. 12th International Conference on Very Large Data Bases (VLDB), Kyoto, Japan, 25. - 28. August 1986. Kambayashi, Yahiko (Hrsg.): In: Very large data bases, Los Altos: Morgan Kaufman. S. 13-20 [PDF, 1MB]

Diese Liste wurde am Sun Mar 24 00:41:57 2024 CET erstellt.