Reference : Temporal Logic
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/184448
Temporal Logic
English
Gribomont, Pascal mailto [Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle >]
Wolper, Pierre mailto [Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
1989
From Modal Logic to Deductive Databases
John Wiley and Sons
No
http://hdl.handle.net/2268/184448

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.