FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

5,999

博客來

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

3,228

博客來

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

3,762

博客來

HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING

9,660

博客來

AUTOMATED DEDUCTION IN EQUATIONAL LOGIC AND CUBIC CURVES

3,299

博客來

AUTOMATED TOMATO GRADING SYSTEM USING IMAGE PROCESSING AND FUZZY LOGIC

4,271

博客來

FUNDAMENTALS OF LOGIC AND COMPUTATION: WITH PRACTICAL AUTOMATED REASONING AND VERIFICATION

3,899

博客來

FUNDAMENTALS OF LOGIC AND COMPUTATION: WITH PRACTICAL AUTOMATED REASONING AND VERIFICATION

3,899

博客來

AUTOMATED REASONING IN HIGHER-ORDER LOGIC: SET COMPREHENSION AND EXTENSIONALITY IN CHURCH’S TYPE THEORY

2,420

博客來

LOGIC FOR PROGRAMMING AND AUTOMATED REASONING: 7TH INTERNATIONAL CONFERENCE, LPAR 2000 REUNION ISLAND, FRANCE, NOVEMBER 6-10, 2000 PROCEEDINGS

3,299

博客來

LOGIC PROGRAMMING AND AUTOMATED REASONING: INTERNATIONAL CONFERENCE LPAR ’’92, ST.PETERSBURG, RUSSIA, JULY 15-20, 1992. PROCEEDINGS

3,299

博客來

LOGIC PROGRAMMING AND AUTOMATED REASONING: 6TH INTERNATIONAL CONFERENCE, LPAR’’99, TBILISI, GEORGIA, SEPTEMBER 6-10, 1999, PROCEEDINGS

3,299

博客來

LOGIC PROGRAMMING AND AUTOMATED REASONING: 5TH INTERNATIONAL CONFERENCE, LPAR ’’94, KIEV, UKRAINE, JULY 16 - 22, 1994. PROCEEDINGS

3,299

博客來

LOGIC PROGRAMMING AND AUTOMATED REASONING: 4TH INTERNATIONAL CONFERENCE, LPAR’’93, ST.PETERSBURG, RUSSIA, JULY 13-20, 1993. PROCEEDINGS

3,299

博客來