BibSonomy :: author :: Bibel ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(82)

<< < 1 | 2 | 3 > >>

On Matrices with Connections.
Wolfgang Bibel J. ACM 28(4):633-645 (1981)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Parallel Inference Machines.
Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, Peter Hintenaus, and Johann Schumann Future Parallel Computers, volume 272 of Lecture Notes in Computer Science, page 185-226. Springer, (1986)
to dblp by dblp on Nov 28, 2011, 12:00 AM
URL | BibTeX
KI ohne Geist.
Wolfgang Bibel KI 25(4):299-302 (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques.
Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, and Wolfgang Bibel IEEE Trans. Knowl. Data Eng. 14(2):353-368 (2002)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
A Bibliography on Parallel Inference Machines.
Wolfgang Bibel, and K. Aspetsberger J. Symb. Comput. 1(1):115-118 (1985)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Automated Inferencing.
Wolfgang Bibel J. Symb. Comput. 1(3):245-260 (1985)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Foreword to the Special Issue on Schemas.
Pierre Flener, Kung-Kiu Lau, and Wolfgang Bibel J. Symb. Comput. 30(1):1-3 (2000)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Tautology Testing with a Generalized Matrix Reduction Method.
Wolfgang Bibel Theor. Comput. Sci. (1979)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Wissensrepräsentation und Inferenz
W. Bibel Vieweg, (1993)
to handbib diskrete-strukturen regal05 by algebradresden on Jul 22, 2011, 2:27 PM
BibTeX
Time for Thinking Big in AI.
Wolfgang Bibel Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 120-131. Springer, (2005)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Path Planning for Cooperating Robots Using a GA-Fuzzy Approach.
Dilip Kumar Pratihar, and Wolfgang Bibel Advances in Plan-Based Control of Robotic Agents, volume 2466 of Lecture Notes in Computer Science, page 193-210. Springer, (2001)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Syntax-Directed, Semantics-Supported Program Synthesis.
Wolfgang Bibel Artif. Intell. 14(3):243-261 (1980)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
A Comparative Study of Several Proof Procedures.
Wolfgang Bibel Artif. Intell. 18(3):269-293 (1982)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Constraint Satisfaction from a Deductive Viewpoint.
Wolfgang Bibel Artif. Intell. 35(3):401-413 (1988)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
A Multi-level Approach to Program Synthesis.
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, and G. Stolpmann LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 1-27. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Predicative programming revisited.
Wolfgang Bibel Mathematical Methods of Specification and Synthesis of Software Systems, volume 215 of Lecture Notes in Computer Science, page 25-40. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Methods of Automated Reasoning.
Wolfgang Bibel Advanced Course: Fundamentals of Artificial Intelligence, volume 232 of Lecture Notes in Computer Science, page 171-217. Springer, (1985)
to dblp by dblp on Jun 10, 2011, 12:00 AM
URL | BibTeX
Prädikatives Programmieren.
Wolfgang Bibel Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, page 274-283. Springer, (1975)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX
Effizienzvergleiche von Beweisprozeduren.
Wolfgang Bibel GI Jahrestagung, volume 26 of Lecture Notes in Computer Science, page 153-160. Springer, (1974)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX
A syntactic connection between proof procedures and refutation prcedures.
Wolfgang Bibel Theoretical Computer Science, volume 48 of Lecture Notes in Computer Science, page 215-225. Springer, (1977)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100