×

Found 8 Documents (Results 1–8)

Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. (English) Zbl 1258.68013

Lecture Notes in Computer Science 7794. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). xxiii, 451 p. (2013).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. (English) Zbl 1122.68008

Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). xii, 522 p. (2007).
MSC:  68-06 03-06 68T15 03B35 00B25
PDFBibTeX XMLCite
Full Text: DOI

Term rewriting and applications. 17th international conference, RTA 2006, Seattle, WA, USA, August 12–14, 2006. Proceedings. (English) Zbl 1113.68009

Lecture Notes in Computer Science 4098. Berlin: Springer (ISBN 978-3-540-36834-2/pbk). xiii, 415 p. (2006).
MSC:  68-06 68Q42 68T15 00B25
PDFBibTeX XMLCite
Full Text: DOI

LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. (English) Zbl 1270.03023

Electronic Notes in Theoretical Computer Science 70, No. 2. Amsterdam: Elsevier. 1-146, electronic only (2002).
PDFBibTeX XMLCite
Full Text: Link

Logic programming and automated reasoning. 5th international conference, LPAR ’94, Kiev, Ukraine, July 16–22, 1994. Proceedings. (English) Zbl 0875.00092

Lecture Notes in Computer Science 822. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 345 p. DM 72.00; öS 561.60; sFr 72.00 /sc (1994).
MSC:  00B25 68-06 68N17 68T15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software