Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Andrei Voronkov
cover
Logic Programming and Automated Reasoning
Komentar Bagikan
Andrei Voronkov

This volume contains the proceedings of LPAR '92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities.The topics of interest covered by papers inthe…

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
509
Judul Seri
-
No. Panggil
27727