Search

نمایش تعداد 1-10 از 4617

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

نوع: Ebook

نویسنده : Wos L.; Pieper G.W. (eds.)

ناشر: World Scientific

سال: 2000

Request PDF

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

نوع: Ebook

نویسنده : Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

ناشر: World Scientific

سال: 1994

Request PDF

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

نوع: Ebook

نویسنده : Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

ناشر: World Scientific

سال: 1994

Request PDF

A half-century of automata theory : celebration and inspiration

نوع: Ebook

نویسنده : Arto Salomaa; Derick Wood; Sheng Yu (eds.)

ناشر: World Scientific

سال: 2001

Request PDF

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

نوع: Ebook

نویسنده : RaМ†zvan Diaconescu; Kokichi Futatsugi

ناشر: World Scientific

سال: 1998

Request PDF

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

نوع: Ebook

نویسنده : E. V. Shuryak

ناشر: World Scientific

سال: 2004

Request PDF

Normal families of meromorphic functions

نوع: Ebook

نویسنده : Chʻi-tʻai Chuang

ناشر: World Scientific

سال: 1993

Request PDF

Impulsive differential equations

نوع: Ebook

نویسنده : Samoilenko A.M.; Perestyuk N.A.

ناشر: World Scientific

سال: 1995

Request PDF

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

نوع: Ebook

نویسنده : Petr Krysl

ناشر: World Scientific

سال: 2006

Request PDF

Knots and applications

نوع: Ebook

نویسنده : Kauffman L.H. (ed.)

ناشر: World Scientific

سال: 1995

Request PDF

1
2
3
4
. . .
462