Skip to contents

Flach, Peter [Author]

Simply logical : intelligent reasoning by example - [Repr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chichester; New York: Wiley, 1994

Published in: Wiley professional computing
Bergmann, Ralph [Author]

Experience management : foundations, development methodology, and Internet-based applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2432
Delgrande, James P. [Editor]; Faber, Wolfgang [Other] ; LPNMR 11 2011 Vancouver, British Columbia

Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6645
Mariño, Julio [Editor] ; WFLP 19 2010 Madrid

Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6559
Marshall, William L. [Other]

Sourcebook of treatment programs for sexual offenders

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Plenum Press, c1998

Published in: Applied clinical psychology
Schmid, Ute [Author]

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2654
Nolan, Deborah Ann [Author]; Temple Lang, Duncan [Author] ; Lang, Duncan Temple [Other]

Data Science in R : a case studies approach to computational reasoning and problem solving

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boca Raton, Fla.; London; New York: CRC Press, Taylor & Francis Group, [2015]

Published in: Chapman & Hall/CRC: The R Series- A Chapman & Hall book
Thielscher, Michael [Author]

Reasoning robots : the art and science of programming robotic agents

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht: Springer, 2005

Published in: Applied logic series ; 33
Collard, Jean-François [Author]

Reasoning about program transformations : imperative programming and flow of data

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Berlin; Heidelberg; Hong Kong; London; Milan; Paris; Tokyo: Springer, 2003
Kloos, Johannes [Author] ; Majumdar, Rupak [Degree supervisor]

Heap-based reasoning about asynchronous programs

View online
Schließen

Access

https://d-nb.info/1161409629/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Technische Universität Kaiserslautern, 2018
Gavran, Ivan [Author]; Niksic, Filip [Author]; Kanade, Aditya [Author]; Majumdar, Rupak [Author]; Vafeiadis, Viktor [Author] ; Ivan Gavran and Filip Niksic and Aditya Kanade and Rupak Majumdar and Viktor Vafeiadis [Contributor]

Rely/Guarantee Reasoning for Asynchronous Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Gill, Andrew [Author] ; Andrew Gill [Contributor]

HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Sagiv, Mooly [Author] ; Mooly Sagiv [Contributor]

Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=2897667

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2016

Published in: ACM Conferences- ACM Digital Library
Kennedy, Andrew [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 4th international workshop on Types in language design and implementation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=1481861

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2009

Published in: ACM Digital Library- ACM Conferences
Hatcliff, John [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages, ACM Special Interest Group on Algorithms and Computation Theory

Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=1328408

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2008

Published in: ACM Digital Library- ACM Conferences
Jones, Neil D. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory, ACM Special Interest Group on Programming Languages

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=964001

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2004

Published in: ACM Digital Library- ACM Conferences
The 33rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2006 (2006, Charleston, South Carolina, USA), Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=1111037

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2006

Published in: ACM Digital Library- ACM Conferences
Morrisett, Gregory [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=1040294

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2005

Published in: ACM Digital Library- ACM Conferences
Jones, Neil [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=215465

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 1995

Published in: ACM Digital Library- ACM Conferences

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication