LΩUI: Lovely ΩMEGA User Interface

The capabilities of a automated theorem prover's interface are essential for the effective use of (interactive) proof systems. L Ω UI is the multi-modal interface that combines several features: a graphical display of information in a proof graph, a selective term browser with hypertext facilit...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 11; číslo 3; s. 326 - 342
Hlavní autoři:	Siekmann, Jörg, Hess, Stephan, Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fiedler, Armin, Horacek, Helmut, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Pollet, Martin, Sorge, Volker
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer 01.09.1999
Témata:	Applied sciences Computer science; control theory; systems Computer systems and distributed systems. User interface Exact sciences and technology Logic and foundations Mathematical logic, foundations, set theory Mathematics Proof theory and constructive mathematics Sciences and techniques of general use Software Multimodal visualization Lovely Ωmega User Interface User interface Distributed artificial intelligence Man machine relation Automatic deduction Automatic proving Distributed system Artificial intelligence
ISSN:	0934-5043, 1433-299X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!