Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Leuschel, Michael
Korporativní autor: Proceedings The Netherlands, Utrecht
Další autoři: Proietti, M. (Editor)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 1996
Vydání:[1st ed.]
Edice:Lecture notes in computer science Vol. 1048
Témata:
logický programovací jazyk Tempo > program Horn > Datalog > softwarové inžinierstvo
ISBN:3540609393
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!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617191340.0
008 971104s1996 gw e ||||||eng d
020 |a 3540609393 
035 |a CVTIDW0942296 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a gw 
080 |a 004.4  |2 UDC-MRF 
100 1 |a Leuschel, Michael 
111 0 |a Proceedings  |d (Sept. 20 - 22, 1995 :  |c The Netherlands, Utrecht) 
242 1 0 |a Logická programová syntéza a transformácia 
245 1 0 |a Logic program synthesis and transformation :  |b Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /  |c Authors: Michael Leuschel and Co. ; Red.: M. Proietti 
250 |a [1st ed.] 
260 |a Berlin :  |b Springer,  |c 1996 
300 |a X, 266 s. :  |b grafy, lit., tab. ; 
490 0 |a Lecture notes in computer science  |v Vol. 1048 
653 1 |a logický programovací jazyk Tempo  |a program Horn  |a Datalog  |a softwarové inžinierstvo 
692 |a VD DD PO MM 
700 1 |a Proietti, M.  |4 edt 
760 1 |t Lecture notes in computer science 
910 |b A559077 
919 |a 3-540-60939-3 
974 |f Knihy 
992 |a AZN 
999 |c 92258  |d 92258 

Podobné jednotky