Search Results for MANTIK.

Limit Search Results

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2 Results Found

Subscribe to search results

1

00DEFAULT

Print

1.

Cover image for Induction : processes of inference, learning, and discovery

Induction : processes of inference, learning, and discovery

Author

Holland, John Henry, 1929-

Preferred Shelf Number

BF 441 I53 1986

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

Cover image for Symbolic logic and mechanical theorem proving

Symbolic logic and mechanical theorem proving

Author

Chang, Chin-Liang, 1937- Lee, R. C., ed.

Preferred Shelf Number

QA 9 C49 1973

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1