2OBJ : a metalogical framework theorem prover based on equational logic. Discussion: Mechanised reasoning and hardware design

Bibliographische Detailangaben

Veröffentlicht in:	Philosophical transactions of the Royal Society of London. Series A: Physical sciences and engineering 1992, Vol.339 (1652), p.69-86
Hauptverfasser:	GOGUEN, J, STEVENS, A, HILBERDINK, H, HOBLEY, K, HUNT, W. A, GOGUEN, J. A, MELHAM, T. F
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Computer science control theory systems Exact sciences and technology Problem solving, game playing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!