fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
The resolution calculus

The resolution calculus

by Alexander Leitsch

1997Automatic theorem provingThéorie démonstrationRaffinementRésolution problèmeThéorèmes
0.0
Open Library
Open Library

Themes & subjects

Automatic theorem provingThéorie démonstrationRaffinementRésolution problèmeThéorèmesRésolution de problème
First published 1997

About the author

Alexander Leitsch

1952

Author

Alexander Leitsch

First published

1997

Pages

300

Read time

≈ 8h

Editions

1

Language

English

Publisher

Springer

ISBN

3540618821

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Logic for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Logic for computer science

Automatic theorem proving · Symbolic and mathematical Logic

Logic for computer science

Jean H. Gallier

1985

Logic Programming

Automatic theorem proving · Logic programming

Logic Programming

James H. Andrews

1992

Certified Programming with Dependent Types

Automatic theorem proving · Computer programming

Certified Programming with Dependent Types

Adam Chlipala

2013

Logic for Programming, Artificial Intelligence, and Reasoning

Logic programming · Artificial intelligence

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

2012

Automated practical reasoning

Automatic theorem proving · Reasoning

Automated practical reasoning

Dongming Wang

1995

Automated Reasoning

Computer programming · Artificial intelligence

Automated Reasoning

Larry Wos

1987

Automated deduction

Symbolic and mathematical Logic · Automatic theorem proving

Automated deduction

W. Bibel

1899

Foundations and applications of security analysis

Congresses · Formal methods (Computer science)

Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009

Rippling

Automatic theorem proving · Logic, symbolic and mathematical

Rippling

Alan Bundy

2005

Artificial intelligence and symbolic computation

Logique symbolique et mathématique · Symbolic and mathematical Logic

Artificial intelligence and symbolic computation

Jacques Calmet

2006

Scalable Techniques for Formal Verification

Systems engineering · Engineering

Scalable Techniques for Formal Verification

Sandip Ray

2010

Collected Works of Larry Wos

Artificial intelligence · Automatic theorem proving

Collected Works of Larry Wos

Larry Wos

2000

Proof in VDM

Development · Computer software

Proof in VDM

Juan Carlos Bicarregui

1994

CafeOBJ report

Réécriture · Théorie démonstration

CafeOBJ report

Razvan Diaconescu

1998

Foundations of Disjunctive Logic Programming

Logic programming (Computer science) · Logic programming

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992

Proof and computation

Théorie démonstration · Logique symbolique et mathématique

Proof and computation

North Atlantic Treaty Organization

1995

Current trends in concurrency

Parallel processing (Electronic computers) · Congresses

Current trends in concurrency

J. W. De Bakker

1986