Kapak Resmi

Mathematical Aspects of Logic Programming Semantics

Diğer sürümleri göster (1)

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconve...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Hitzler, Pascal (auth)
Diğer Yazarlar: Seda, Anthony (auth)
Materyal Türü: Elektronik Kitap Bölümü
Dil:İngilizce
Baskı/Yayın Bilgisi: Taylor & Francis 2011
Konular:
Games development & programming
Information architecture
Mathematical theory of computation
Systems analysis & design
Computer Science (General)
Intelligent Systems
Machine Learning
SCI-TECH
COMPUTERSCIENCE
ITECH
INFORMATIONSCIENCE
STM
complete
fixed
ground
level
mappings
order
partial
point
predicate
symbol
Online Erişim:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Internet

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Detaylı Erişim Bilgileri 3rd Floor Main Library
Yer Numarası: A1234.567
Kopya Bilgisi 1 Kütüphanede

Benzer Materyaller