Vai al contenuto principale della pagina

Logic programming : proceedings of the 1991 international symposium / edited by Vijay Saraswat and Kazunori Ueda



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International logic programming symposium : <1991 Visualizza persona
Titolo: Logic programming : proceedings of the 1991 international symposium / edited by Vijay Saraswat and Kazunori Ueda Visualizza cluster
Pubblicazione: Cambridge (MA) ; London, : MIT press, 1991
Descrizione fisica: XVIII, 740 p. ; 23 cm.
Disciplina: 005.1
005.115
Soggetto topico: Programmazione logica - Congressi - 1991
Persona (resp. second.): Ueda, Kazunori
Saraswat, Vijay
Titolo autorizzato: Logic programming  Visualizza cluster
ISBN: 0262691477
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: NAP0395448
Lo trovi qui: Univ. del Sannio
Collocazione: SALA DING 005.1 ISOLP
Opac: Controlla la disponibilità qui
Serie: Logic programming
Extensions of logic programming : 4. international workshop, ELP '93 : St. Andrews, U.K., March 29 - April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
International workshop ELP '93 : <4. : ; 1993
Logic programming and automated reasoning : 5. international conference, LPAR '94 : Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
International conference LPAR '94 : <5. : ; 1994
Logic programming and automated reasoning : 4. international conference, LPAR '93 : St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov (ed.)
International conference on logic programming and automated reasoning : <4. : ; 1993
Logic program synthesis and transformation : proceedings of LOPSTR 91, International workshop on logic program synthesis and transformation, University of Manchester, 4-5 July 1991 / T. P. Clement and K.-K. Lau, Eds. ; sponsored by the Association for logic programming and ALPUK
International workshop on logic program synthesis and transformation : <1991
Logic program synthesis and transformation : proceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992 / Kung-Kiu Lau and Tim Clement, Eds. ; sponsored by the Association for logic programming and ALPUK
International workshop on logic program synthesis and transformation : <1992