Logic programming : proceedings of the ... international conference.

Guardado en:
Nuevo Título:Logic programming (Cambridge, Mass. : 1989)
Título anterior:International Conference on Logic Programming. Proceedings
Autores Corporativos: International Conference on Logic Programming., Association for Logic Programming., Symposium on Logic Programming., International Symposium on Logic Programming.
Formato: Seriadas
Idioma:English
Publicado: Cambridge, Mass. : MIT Press, c1987-
Series:MIT Press series in logic programming.
Logic programming.
Lecture notes in computer science.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 02489cas a2200517 a 4500
001 DCC.dcic000321
008 890816c19879999gw#ar#########1###a0eng#d
005 20060612153259.0
210 0 |a Log. program. 
222 0 |a Logic programming 
245 0 0 |a Logic programming :  |b proceedings of the ... international conference. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c c1987- 
300 |a v. ;  |c 23 cm. 
310 |a Annual 
362 0 |a 4th (May 25-29, 1987)- 
490 1 |a 1987-1989: MIT Press series in logic programming 
490 1 |a 1990-1997: Logic programming 
490 1 |a 1998-1999: Logic programming series 
490 1 |a 2001- : Lecture notes in computer science 
500 |a Latest issue consulted: 21st (Oct. 2005). 
500 |a Published: Berlin ; New York : Springer, 2001- 
515 |a Issued in 2 v., 1987-1988. 
515 |a Not held in 2000. 
530 |a Beginning with 2001, also available to subscribers via the World Wide Web. 
550 |a Papers presented at: International Conference on Logic Programming, sponsored by the Association for Logic Programming. 
550 |a Vols. for 1988 constitute joint proceedings with: Symposium on Logic Programming; vols. for 1992, 1996, and 1998 constitute joint proceedings with: International Symposium on Logic Programming. 
780 0 0 |a International Conference on Logic Programming.  |t Proceedings  |w (OCoLC)16665463  |w (DLC) 92648812 
785 0 1 |t Logic programming (Cambridge, Mass. : 1989)  |g 1989  |w (DLC)sn 95037111  |w (OCoLC)31274391 
022 0 |a 1061-0464  |2 1 
130 0 |a Logic programming (International Conference on Logic Programming) 
711 2 |a International Conference on Logic Programming. 
710 2 |a Association for Logic Programming. 
711 2 |a Symposium on Logic Programming. 
711 2 |a International Symposium on Logic Programming. 
830 0 |a MIT Press series in logic programming. 
830 0 |a Logic programming. 
830 0 |a Lecture notes in computer science. 
246 1 8 |a ICLP  |f <2005-> 
082 1 0 |a 005  |2 12 
650 0 |a Logic programming  |v Congresses. 
650 1 7 |a Logisch programmeren.  |2 gtt 
010 |a  92648813   |z  92061965   |z  00267746   |z  2002514364 
040 |a MWP  |c MWP  |d DLC  |d NSDP  |d OCoLC  |d DLC  |d NST  |d NSDP  |d DLC  |d MCM  |d InU  |d MCM  |d DLC  |d MCM  |d DLC  |d NLGGC  |d DLC 
037 |b Logic Programming, The MIT Press, Massachusetts Institute of Technology, Cambridge, MA 02142 
050 0 0 |a QA76.63  |b .I56a 
859 |a DCIC  |b BIB. COMPUTACION  |3 17th (2001)