#imprescindibl.es

Theorem proving with analytic tableaux and related methods

Theorem proving with analytic tableaux and related methods

TABLEAUX '96 (1996 Terrasini, Italy)

1996

Páginas: 330

Género: Automatic theorem proving

Ver ficha completa

Añadir a mi colección

Formato

También te puede gustar

Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Logic for computer science

Logic for computer science

Jean H. Gallier

1985

Logic Programming

Logic Programming

James H. Andrews

1992

Certified Programming with Dependent Types

Certified Programming with Dependent Types

Adam Chlipala

2013

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

2012

Automated practical reasoning

Automated practical reasoning

Dongming Wang

1995

Automated Reasoning

Automated Reasoning

Larry Wos

1987

Automated deduction

Automated deduction

W. Bibel

1899