Suchergebnisse - Bürckert, Hans-Jürgen
- Treffer 1 – 20 von 24
- Zur nächsten Seite
-
1Concept logics with function symbolsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2On abduction and answer generation through constrained resolutionVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Reasoning about temporal relations: a maximal tractable subset of Allen's interval algebraVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4MKRPVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5On Skolemization in constrained logicsVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6A resolution principle for a logic with restricted quantifiersVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7RATMAN and its relation to other multi-agent testbedsVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8A resolution principle for a logic with restricted quantifiersVeröffentlicht 1991Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Hochschulschrift/Dissertation Elektronisch E-Book Wird geladen … -
9On the solvability of equational problemsVeröffentlicht 1989Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
10A resolution principle for clauses with constraintsVeröffentlicht 1990Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
11On solving equations and disequationsVeröffentlicht 1989Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
12Solving disequations in equational theoriesVeröffentlicht 1987Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
13An intercompany dispatch support system for intermodal transport chainsVeröffentlicht 1999Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
14A multi-agent perspective on intermodal transport chainsVeröffentlicht 1998Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
15On solving equations and disequationsVeröffentlicht 1989Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
16MKRP: a performance test by working mathematiciansVeröffentlicht 1983Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
17TeleTruck: a holonic fleet management systemVeröffentlicht 1997Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
18Some relationships between unification, restricted unification and matchingVeröffentlicht 1986Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
19An intercompany dispatch support system for intermodal transport chainsVeröffentlicht 1999Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
20Simulated-trading-Mechanismen für speditionsübergreifende TransportplanungVeröffentlicht 1998Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen …