파운드북스

로그인 주문 조회 장바구니기업 기관 구매

‘Automatic theorem proving’ 검색 결과

20건

Logic for computer science

Jean H. Gallier, 1985 / 판 6개

Strategies for improving the efficiency of automatic theorem-proving

Donald Kuehner, 1971

Completely non-clausal, completely neuristically driven, automatic theorem proving

Francis Jeffry Pelletier, 1983

Automated theorem proving

Special Session on Automatic Theorem Proving (1983 Denver, Colo.), 1984

Some results in automatic theorem-proving with applications in elementary set theory and topology

Roberto Lins de Carvalho, 1974

Symbolic logic and mechanical theorem proving

Chin-Liang Chang, 1973 / 판 2개

Symbolic logic and mechanical theorem proving

Chin-Liang Chang, 1973 / 판 2개

Automated Theorem Proving

Monty Newborn, 2000 / 판 3개

Mechanical Geometry Theorem Proving

Shang-Ching Chou, 1899 / 판 3개

Mechanical geometry theorem proving

Chou, Shang-Ching, 1988

First-Order Logic and Automated Theorem Proving

Melvin Fitting, 1996 / 판 2개

Automated theorem proving

W. Bibel, 1982 / 판 2개

Automated Theorem Proving in Software Engineering

Johann M. Schumann, 2001 / 판 3개

The application of theorem proving to question-answering systems

Claude Cordell Green, 1970 / 판 2개

Automated theorem proving

Donald W. Loveland, 1978

Automated theorem proving

Monroe Newborn, 2001

Mechanical theorem proving in geometries

Wu, Wen-tsün., Went Sun Wu, Xiao Fan Jin, 1994 / 판 2개

Theorem Proving with the Real Numbers

Harrison, John, 2011 / 판 2개

Theorem-proving systems

Ewa Orłowska, 1973

Theorem-proving systems

Ewa Orlowska, 1973

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기 목록 넣기