Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 2 dari pencarian Anda melalui kata kunci: author=Maurice Bruynooghe
cover
Logic Based Program Synthesis and Transformation
Komentar Bagikan
Maurice Bruynooghe

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, compo…

Edisi
-
ISBN/ISSN
3540221743
Deskripsi Fisik
238
Judul Seri
-
No. Panggil
27665
cover
Logic Programming
Komentar Bagikan
Maurice Bruynooghe

November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurre…

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
690
Judul Seri
-
No. Panggil
27759