Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 16 | << page >> |
Sort by
|
ISBN: 3540610642 Year: 1996 Volume: 1059 Publisher: Berlin [etc.] : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Trees (Graph theory) --- Data processing --- Congresses --- Data structures (Computer science) --- Computational complexity
Book
Year: 1937 Publisher: S.l. s.n.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1915 Publisher: Bernburg Alfred König
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Dissertation
Year: 1995 Publisher: Darmstadt : Technische Hochschule Darmstadt,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0387531629 3540531629 3540467386 Year: 1990 Volume: vol 463 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- Logic programming --- Congresses --- Algebraic logic --- Software engineering. --- Artificial intelligence. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering
ISSN: 03029743 ISBN: 3540646752 9783540646754 Year: 1998 Volume: 1421 Publisher: Berlin [etc.] : Springer-Verlag,
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)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3795003105 Year: 1996 Publisher: Lübeck : Schmidt-Römhild,
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 16 | << page >> |
Sort by
|