صورة الغلاف

Summary goes here

محفوظ في:
التفاصيل البيبلوغرافية
التنسيق: كتاب
اللغة:الإنجليزية
الموضوعات:
Automatic theorem proving.
Computer algorithms.
Logic programming.
Algorithms
Théorèmes
Algorithmes.
Programmation logique.
algorithms.
Automatic theorem proving
Computer algorithms
Logic programming
Formale Semantik
Logischer Entwurf
Programmierlogik
Automatisches Beweisverfahren
Logisch programmeren.
Algorithms.
Logic design.
Structure logique.
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
الملخص:Summary goes here
وصف المادة:General Notes
وصف مادي:1 online resource (iv, 125 pages) :illustrations
ردمك:9783540478119
3540478116
3540182179
9783540182177