A. Pasztor, Christian Stary,
"Many Sorted Temporal Logic for Knowledge-Based User Interface Specification"
: Proceedings 2nd International Symposium on Artificial Intelligence and Mathematics, 1-1992, Chr. Stary, A. Pasztor: "Many Sorted Temporal Logic for Knowledge-Based User Interface Specification" in: Proceedings 2nd International Symposium on Artificial Intelligence and Mathematics, Florida Atlantic University, Fort Lauderdale
Original Titel:
Many Sorted Temporal Logic for Knowledge-Based User Interface Specification
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings 2nd International Symposium on Artificial Intelligence and Mathematics
Erscheinungsmonat:
1
Erscheinungsjahr:
1992
Notiz zum Zitat:
Chr. Stary, A. Pasztor: "Many Sorted Temporal Logic for Knowledge-Based User Interface Specification" in: Proceedings 2nd International Symposium on Artificial Intelligence and Mathematics, Florida Atlantic University, Fort Lauderdale
Forschungs-