Hochschulschrift | Online-Publikation

Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
Saarbrücken, Univ., Diss., 2001

Classification
Informatik
Keyword
Endliche Algebra
Automatisches Beweisverfahren
Blackboard
Gruppentheorie
Automatisches Beweisverfahren
Blackboard
Endliche Algebra ; Automatisches Beweisverfahren ; Blackboard

Creator
Sorge, Volker

URN
urn:nbn:de:bsz:291-scidok-2375
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:24 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Hochschulschrift
  • Online-Publikation

Associated

  • Sorge, Volker

Other Objects (12)

Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning

Hochschulschrift

Ω-ANTS Omega-ANTS : a blackboard architecture for the integration of reasoning techniques into proof planning

Laur, Ants

Personenakten

Laur, Ants

The ants

The ants

Roos, Ants * 5.4.1885

Akten

Roos, Ants * 5.4.1885

Piller, Ants (Hans)

Einzelporträt | Negativ

Piller, Ants (Hans)

ants are coming...

Graffiti | Streetart

ants are coming...

Traks, Ants * 22.04.1923

Akten

Traks, Ants * 22.04.1923

Everybody sees the ants

Everybody sees the ants

The mouthparts of ants

Hochschulschrift

The mouthparts of ants

The mouthparts of ants

Hochschulschrift | Online-Publikation

The mouthparts of ants

The Natural History of Ants

Text

The Natural History of Ants

The Natural History of Ants.

Abschnitt

The Natural History of Ants.

Related objects