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 3150284 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Meta-Programming in Logic Programming
Autor: Abramson, Harvey.
Rok: 1989
ISBN: 9780262510479
OKCZID: 110050723
Citace (dle ČSN ISO 690):
ABRAMSON, Harvey, ed. a ROGERS, M. H., ed. Meta-programming in logic programming. Cambridge: MIT Press, 1989. 544 s. Logic programming, Logic programming K1.
Anotace
Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems. Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.