Search

Now showing items 1-10 of 4617

The collected works of Larry Wos: Exploring the power of automated reasoning

Type: Ebook

Author : Wos L.; Pieper G.W. (eds.)

Publisher: World Scientific

Year: 2000

Request PDF

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Type: Ebook

Author : Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Publisher: World Scientific

Year: 1994

Request PDF

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Type: Ebook

Author : Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Publisher: World Scientific

Year: 1994

Request PDF

A half-century of automata theory : celebration and inspiration

Type: Ebook

Author : Arto Salomaa; Derick Wood; Sheng Yu (eds.)

Publisher: World Scientific

Year: 2001

Request PDF

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

Type: Ebook

Author : RaМ†zvan Diaconescu; Kokichi Futatsugi

Publisher: World Scientific

Year: 1998

Request PDF

The QCD Vacuum, Hadrons and Superdense Matter (World Scientific Lecture Notes in Physics) (World Scientific Lecture Notes in Physics)

Type: Ebook

Author : E. V. Shuryak

Publisher: World Scientific

Year: 2004

Request PDF

Normal families of meromorphic functions

Type: Ebook

Author : Chʻi-tʻai Chuang

Publisher: World Scientific

Year: 1993

Request PDF

Impulsive differential equations

Type: Ebook

Author : Samoilenko A.M.; Perestyuk N.A.

Publisher: World Scientific

Year: 1995

Request PDF

A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA

Type: Ebook

Author : Petr Krysl

Publisher: World Scientific

Year: 2006

Request PDF

Knots and applications

Type: Ebook

Author : Kauffman L.H. (ed.)

Publisher: World Scientific

Year: 1995

Request PDF

1
2
3
4
. . .
462