Treffer
1 - 4
von
4
für Suche '
Ohtani, Takeshi
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Alle Felder
Person
Schlagwort
Titel
Suchen
Erweitert
Verfasser
Ohtani, Takeshi
Treffer
1 - 4
von
4
für Suche '
Ohtani, Takeshi
'
, Suchdauer: 1,20s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
1
Reasoning assistant system EUODHILOS-II operation manual
von
Ohtani, Takeshi
,
Sawamura, Hajime
,
Minami, Toshiro
Veröffentlicht 1995
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
A beginner's guide to EUODHILOS
von
Minami, Toshiro
,
Sawamura, Hajime
,
Ohtani, Takeshi
Veröffentlicht 1994
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Implementing Constructive Type Theory on EUODHILOS
von
Ohtani, Takeshi
,
Sawamura, Hajime
,
Minami, Toshiro
Veröffentlicht 1993
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
ACE a syntax-directed editor customizable from examples and queries
von
Takada, Yuji
,
Sakakibara, Yasubumi
,
Ohtani, Takeshi
Veröffentlicht 1991
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Ähnliche Schlagworte
Datenverarbeitung
Logic design Data processing
Logic programming
Reasoning