Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 52 | << page >> |
Sort by
|
ISBN: 0934613494 0273087185 9780273087182 Year: 1987 Publisher: London: Pitman,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving. --- Artificial intelligence. --- Théorèmes --- Intelligence artificielle --- Démonstration automatique --- Theorems --- Proof --- Applications of computer systems --- Applications of computer systems. --- Théorèmes --- Démonstration automatique --- Logic --- Resolution --- Inference --- Artificial intelligence --- Theorem Proving
Book
ISBN: 1483258939 Year: 1987 Publisher: London, [England] ; Los Altos, California : Pitman : Morgan Kaufmann Publishers, Inc.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A Many-Sorted Calculus Based on Resolution and Paramodulation
Book
ISBN: 3416009592 9783416009591 Year: 1974 Volume: 12 Publisher: Bonn: Bouvier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3770525019 Year: 1991 Publisher: München Fink
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Technology --- -Applied science --- Arts, Useful --- Science, Applied --- Useful arts --- Science --- Industrial arts --- Material culture --- Philosophy --- -Congresses --- -#GROL:SEMI-141 Post --- Applied science --- Philosophy&delete& --- Congresses --- Social aspects&delete& --- #GROL:SEMI-141 Post --- Social aspects
Book
ISBN: 3796506178 9783796506178 Year: 1974 Publisher: Basel: Schwabe,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Science and civilization --- Science --- #GROL:SEMI-130.2:6 --- Normal science --- Philosophy of science --- Civilization and science --- History and science --- Science and history --- Science and society --- Progress --- Philosophy --- Science - Philosophy
Book
Year: 1976 Publisher: Basel: Schwabe,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3487128179 9783487128177 Year: 2005 Publisher: Hildesheim: Olms,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Ein erhellendes Werk über den Stellenwert der Technologie für das Denken unserer Zeit. Basierend auf der Auseinandersetzung mit den Gedanken zeitgenössischer Philosophen wie Jürgen Habermas, Hans-Georg Gadamer und Hans Jonas.
ISBN: 3487102900 Year: 1997 Publisher: Hildesheim : Olms,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1965 Publisher: Darmstadt : Wissenschaftliche Buchgesellschaft,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 52 | << page >> |
Sort by
|