Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150940 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic Programming: The 11th International Conference
Rok: 1994
ISBN: 9780262720229
OKCZID: 110037704
Citace (dle ČSN ISO 690):
VAN HENTENRYCK, Pascal., ed. Logic programming: proceedings of the Eleventh International Conference on Logic Programming. London: MIT Press, c1994. 747 s.
Anotace
June 13-16, 1994, Santa Margherita Ligure, Italy ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation, which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered: Applications. Architecture. Artificial Intelligence. Concurrency. Constraints. Databases. Environments. Higher-Order Programming. Implementation. Language Design. Natural Language. Parallelism. Programming Methodology. Proof Theory. Semantics and Foundations. Static Analysis. Theorem Proving. Types. Logic Programming series, Research Reports and Notes