Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 39754 dari pencarian Anda melalui kata kunci:
Hal. Awal Sebelumnya 2241 2242 2243 2244 2245 Berikutnya Hal. Akhir
cover
Logic Programming and Non-monotonic Reasoning
Komentar Bagikan
None

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

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
27667
cover
Intensional Logic
Komentar Bagikan
Ilkka Niiniluoto; Esa Saarinen

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
606
Judul Seri
-
No. Panggil
27666

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
606
Judul Seri
-
No. Panggil
27666
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
Informal Logic
Komentar Bagikan
None

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

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
27664
cover
Deontic Logic in Computer Science
Komentar Bagikan
Guido Governatori; Giovanni Sartor

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-…

Edisi
-
ISBN/ISSN
3642141838
Deskripsi Fisik
323
Judul Seri
-
No. Panggil
27663
cover
Introduction to Logic
Komentar Bagikan
Irving M. Copi; Carl Cohen

Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades. Its scrupulous attention to detail and precision in exposition and explanation is matched by the greatest accuracy in all associated detail. In addition, it continues to capture student interest through its pe…

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
569
Judul Seri
-
No. Panggil
27662
cover
Logic and Foundations of Mathematics
Komentar Bagikan
Raymond Klibansky

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
387
Judul Seri
-
No. Panggil
27661

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
387
Judul Seri
-
No. Panggil
27661
cover
Textbook of Logic
Komentar Bagikan
Holly Estil Cunningham

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
428
Judul Seri
-
No. Panggil
27660

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
428
Judul Seri
-
No. Panggil
27660
cover
Logic in the Talmud
Komentar Bagikan
Avi Sion

Logic in the Talmud is a ‘thematic compilation’ by Avi Sion. It collects in one volume essays that he has written on this subject in Judaic Logic (1995) and A Fortiori Logic (2013), in which traces of logic in the Talmud (the Mishna and Gemara) are identified and analyzed. While this book does not constitute an exhaustive study of logic in the T…

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
516
Judul Seri
-
No. Panggil
27659
cover
Logic-based Program Synthesis and Transformation /
Komentar Bagikan
;

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

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
-
Judul Seri
-
No. Panggil
27658
Hal. Awal Sebelumnya 2241 2242 2243 2244 2245 Berikutnya Hal. Akhir