"Set Theory for Computing - From Decision Procedures to Declarative ..."

Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti (2001)

Details and statistics

DOI: 10.1007/978-1-4757-3452-2

access: closed

type: Book or Thesis

metadata version: 2017-05-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics