Siirry suoraan sisältöön
Logic Programming and Automated Reasoning
Tallenna

Logic Programming and Automated Reasoning

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994.
Alaotsikko
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Toimittaja
Frank Pfenning
Painos
1994 ed.
ISBN
9783540582168
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
22.6.1994
Sivumäärä
352