Search
Feedback
About UniCat 
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
Year: 1979 Publisher: Berlin, Heidelberg, New York Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540091181 Year: 1979 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
#TCPW P3.0 --- 681.3*A0 --- 681.3*F0 --- 681.3*F3 --- 681.3*F4 --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- Logics and meanings of programs (Theory of computation) --- 681.3*A0 General --- General --- Computerwetenschap--?*F0 --- Computer. Automation
Book
Year: 1996 Publisher: [Trier] : Universität Trier,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Informatique theorique --- Logique mathematique --- Algorithmique --- Calculabilite --- Complexite
Book
Year: 1995 Publisher: Hagen : FernUniversität Hagen. Fachbereich Informatik,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Informatique theorique --- Logique mathematique --- Algorithmique --- Calculabilite --- Complexite
| Listing 1 - 4 of 4 |
Sort by
|