Gösterilen
1 - 3
sonuçlar arası kayıtlar.
3
sonuç. Aranan kelime '
'
İçeriği atla
VuFind
Hesabım
Çıkış
Kurumsal Giriş
Dil
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tüm Alanlar
Yazar
Materyal Adı
Dergi Başlığı
Konu
ISBN/ISSN
Etiket
Ara
Gelişmiş
Filtreleri Sıfırla
Konu:
logic programming
Filtreleri Sıfırla
Gösterilen flitre sayısı (1)
Konu:
logic programming
Arama Sonuçları
Gösterilen
1 - 3
sonuçlar arası kayıtlar.
3
sonuç. Aranan kelime '
'
, Sorgu süresi: 0.17s
Sonuçları Daraltın
Her Sayfadaki Sonuçlar
10
20
40
60
80
100
Sırala
İlgili
Tarih-Azalan
Tarih-Artan
Yazar
Materyal Adı
Liste
Sistem
1
Yüklüyor......
Algorithms for Smart Cities
Baskı/Yayın Bilgisi 2024
Tam Metin Erişim
Livro
Favorilerime ekle
Kaydedildi:
2
Yüklüyor......
Automated Deduction – CADE 28
Yayımlandı
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2021)
Tam Metin Erişim
Livro
Favorilerime ekle
Kaydedildi:
3
Yüklüyor......
Automated Reasoning
Yayımlandı
Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
(2022)
Tam Metin Erişim
Livro
Favorilerime ekle
Kaydedildi:
Arama Araçları:
RSS Beslemesi
—
Aramayı e-posta ile gönder
—
Aramayı sakla
Geri
Aramayı Daralt
Kurum
DOAB
3
[hariç]
Koleksiyon
Directory of Open Access Books
3
[hariç]
Materyal Türü
Livro
3
[hariç]
Yazar
Blanchette, Jasmin
1
[hariç]
Cerasela Crişan, Gloria
1
[hariç]
Kovács, Laura
1
[hariç]
Nechita, Elena
1
[hariç]
Pattinson, Dirk
1
[hariç]
Platzer, André
1
[hariç]
daha fazla ...
Sutcliffe, Geoff
1
[hariç]
Hepsini Gör ...
daha az ...
Konu
logic programming
artificial intelligence
2
[hariç]
automata theory
2
[hariç]
computer programming
2
[hariç]
formal languages
2
[hariç]
formal logic
2
[hariç]
daha fazla ...
semantics
2
[hariç]
software architecture
2
[hariç]
software design
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[hariç]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[hariç]
Artificial Intelligence
1
[hariç]
CO2 variations prediction
1
[hariç]
Computer Science Logic and Foundations of Programming
1
[hariç]
Computer architecture & logic design
1
[hariç]
Computer programming / software engineering
1
[hariç]
Formal Languages and Automata Theory
1
[hariç]
GIOU
1
[hariç]
HVAC systems
1
[hariç]
IOU
1
[hariç]
Logics and Meanings of Programs
1
[hariç]
Mathematical Logic and Formal Languages
1
[hariç]
Mathematical theory of computation
1
[hariç]
MobileNet V2
1
[hariç]
Software Engineering
1
[hariç]
YOLOv3
1
[hariç]
anchor clustering
1
[hariç]
asset management
1
[hariç]
Hepsini Gör ...
daha az ...
Dil
Inglês
3
[hariç]
Yayın Tarihi
den:
Kime:
Yayın Tarihi
Temizle
×
Yüklüyor......