Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logic Programming

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia knihy

This volume contains the proceedings of two Russian§conferences on logic programming, held in 1990 in Irkutsk§and in 1991 in St. Petersburg. The aim of the conferences§was to bring together researchers from the Russian and the§international logic programming communities. Topics covered§in the volume include: logic programming, automated theorem§proving, non-monotonic reasoning, applications of§mathematical logic to computer science, deductivedatabases,§implementation of declarative concepts, and programming in§non-classical logics.§This is the first volume to represent activity in the field§of logic programming in the countries of the former Soviet§Union.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Artificial intelligence

• Celý názov: Logic Programming
• Podnázov: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
• Autor: Andrei Voronkov
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 521
• EAN: 9783540554608
• ISBN: 3540554602
• ID: 01565526
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1640 g
• Rozmery: 279 × 216 × 28 mm
• Dátum vydania: 06. May 1992

Obľúbené z iného súdka

---

---

---