Skip to content
  • Tentang IOS
  • Join Us
  • Hubungi Kami
  • Organisasi Mitra
  • Akun Anda
  • Keluar
  • Masuk
  • Bahasa Indonesia
    • Bahasa Indonesia
    • English
Lanjutan
  • Cari: "Logic programming Congresses"
  • Koleksi Nasional
Menampilkan 1 - 4 of 4 untuk pencarian: '"Logic programming Congresses"', lama mencari: 0.20s
Daftar  Grid  Visual 
Cover Image
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Book Bachelors
oleh Tom Schrijvers, editor
Terbitan: [, Springer-Verlag], 2012
Subjects: '; “...Logic programming -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20409517
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20409517
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20409517
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20409517
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20409517
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20409517
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings
Book Bachelors
oleh Nikolaj Bjorne, editor
Terbitan: [, Springer-Verlag], 2012
Subjects: '; “...Logic programming -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20410284
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20410284
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20410284
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20410284
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20410284
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20410284
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Web reasoning and rule systems : 6th international conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings
Book Bachelors
oleh Markus Krotzsch, editor
Terbitan: [Springer-Verlag, ], 2012
Subjects: '; “...Logic programming -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20409990
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20409990
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20409990
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20409990
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20409990
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20409990
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers
Book Bachelors
oleh Germán Vidal, editor
Terbitan: [, Springer-Verlag], 2012
Subjects: '; “...Logic programming -- Congresses...”
Lokasi Repository IOS Number
KOTA DEPOKRepository Skripsi (open) Universitas IndonesiaIOS18064.20410072
KOTA DEPOKRepository Skripsi (Membership) Universitas IndonesiaIOS18065.20410072
KOTA DEPOKcontoh Repository Tesis (Open) Universitas IndonesiaIOS18066.20410072
KOTA DEPOKRepository Disertasi (Membership) Universitas IndonesiaIOS18068.20410072
KOTA DEPOKRepository Disertasi (Open) Universitas IndonesiaIOS18069.20410072
KOTA DEPOKRepository Tugas Akhir Universitas IndonesiaIOS18070.20410072
Available online:
Get online
Favorit
Tersimpan di:
Search Tools: Get RSS Feed — Email this Search — Save Search

Persempit Pencarian

Institusi
4 Universitas Indonesia
Koleksi
4 Repository Disertasi (Membership) Universitas Indonesia 4 Repository Disertasi (Open) Universitas Indonesia 4 Repository Skripsi (Membership) Universitas Indonesia 4 Repository Skripsi (open) Universitas Indonesia 4 Repository Tugas Akhir Universitas Indonesia 4 contoh Repository Tesis (Open) Universitas Indonesia
Format
4 Book Book 4 4 Thesis Bachelors 4
Topik
4 Logic programming -- Congresses 1 Artificial intelligence -- Congresses 1 Computational complexity -- Congresses 1 Computer logic -- Congresses 1 Data structures (computer science) -- Congresses 1 Functional programming (computer science) -- Congresses more ... 1 Program transformation (computer programming) -- Congresses 1 Rule-based programming -- Congresses 1 Semantic web -- Congresses less ...
Pengarang
1 Germán Vidal, editor 1 Markus Krotzsch, editor 1 Nikolaj Bjorne, editor 1 Tom Schrijvers, editor
Tahun
4 2012
Penerbit
3 [, Springer-Verlag] 1 [Springer-Verlag, ]

Opsi Pencarian

  • Sejarah Pencarian
  • Pencarian Lanjut

Temukan Lebih Banyak

  • Penelusuran Katalog
  • Penelusuran Alfabetis

Butuh Bantuan?

  • Tips Pencarian
  • Admin
  • Hubungi Kami
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...