Kod: 01565526
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§int ... więcej
61.51 €
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Za ten zakup dostaniesz 154 punkty
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.
Kategoria Książki po angielsku Computing & information technology Computer science Artificial intelligence
61.51 €
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Nákupní košík ( prázdný )