Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
Year: 1979 Publisher: Utrecht [s.n.]
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dissertation
Year: 1979 Publisher: Utrecht Rijksuniversiteit Utrecht
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Multi
ISSN: 09226389 ISBN: 9781586039295 1586039296 Year: 1994 Volume: 185 Publisher: Amsterdam; Washington Tokyo; Kyoto IOS Press Ohmsha
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- Propositional calculus --- Decision making --- Computer algorithms --- Algebra, Boolean --- Algorithmus. --- Anwendung. --- Berechnungskomplexitat. --- Erfullbarkeitsproblem. --- 681.3*F --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Set theory --- Calculus, Propositional --- Logic, Symbolic and mathematical --- Theory of computation --- 681.3*F Theory of computation --- Algorithmus --- Anwendung --- Berechnungskomplexitat --- Erfullbarkeitsproblem --- Propositional calculus - Congresses --- Decision making - Congresses --- Computer algorithms - Congresses --- Algebra, Boolean - Congresses
| Listing 1 - 3 of 3 |
Sort by
|