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 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Computer science logic : 7th workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993. Selected papers
Rok: 1994
ISBN: 9783540582779
OKCZID: 110381016
Vydání: [1. ed.]
Citace (dle ČSN ISO 690):
BÖRGER, E., ed., GUREVICH, Yuri, ed. a MEINKE, Karl, ed. Computer science logic: 7th workshop, CSL '93 Swansea, United Kingdom September 13-17, 1993. Selected papers. [1. ed.]. Berlin: Springer-Verlag, 1994. VIII, 336 s. Lecture notes in computer science, 832.
Anotace
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.