×

Found 9 Documents (Results 1–9)

Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. (English) Zbl 1215.68027

Lecture Notes in Computer Science 6663. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). viii, 363 p. (2011).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. (English) Zbl 1151.68001

Lecture Notes in Computer Science 4342. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-69223-2/pbk). x, 373 p. (2006).
MSC:  68-06 68T30 00B15
PDFBibTeX XMLCite
Full Text: DOI

Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. (English) Zbl 1029.00017

Lecture Notes in Computer Science. 2929. Berlin: Springer. vii, 273 p. EUR 42.00/net; $ 54.00; £32.50; sFr 72.00 (2003).
PDFBibTeX XMLCite
Full Text: DOI Link

Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16–21, 2001. Revised papers. (English) Zbl 1014.00018

Lecture Notes in Computer Science. 2561. Berlin: Springer. x, 313 p. (2002).
PDFBibTeX XMLCite
Full Text: DOI Link

Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. (English) Zbl 0888.00018

Lecture Notes in Computer Science 1397. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 325 p. (1998).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite

Perspectives on negation. Essays in honour of Johan J. de Iongh on his 80th birthday. (Perspectives sur la négation. Hommage à Johan J. de Iongh pour son 80e anniversaire.) (English, French) Zbl 0913.03002

Tilburg: Tilburg University Press. x, 220 p. (1995).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software