01885nam0 22003973i 450 AQ1000760320251003044041.00387582169New York3540582169Berlin20120120d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierLogic programming and automated reasoning5. international conference, LPAR '94Kiev, Ukraine, July 16-22, 1994proceedingsFrank Pfenning (ed.)Berlin [etc.]Springerc1994X, 344 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence822001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence822Programmazione logicaCongressi1994FIRNAPC259308I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniPfenning, FrankAQ1V004008International conference LPAR '94 <5. ; 1994 ; Kiev>AQ1V004007070714641International conference on logic programming and automated reasoning <5. ; 1994 ; Kiev>AQ1V004009International conference LPAR '94 <5. ; 1994 ; Kiev>ITIT-00000020120120IT-BN0095 AQ10007603Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000022395 VMA A4(0822 v. 822Y 1996021920120120 01Logic programming and automated reasoning1381980UNISANNIO