Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 0792345932 9780792345930 Year: 1997 Volume: v. 6 Publisher: Dordrecht ; Norwell, MA : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proof theory. --- Automatic theorem proving. --- Théorie de la preuve --- Théorèmes --- Démonstration automatique --- Théorie de la preuve --- Théorèmes --- Démonstration automatique
ISBN: 1402003684 9781402003684 Year: 1997 Volume: 6 Publisher: Dordrecht : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Digital
ISBN: 9781848824348 Year: 2009 Publisher: London Springer London
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Programming --- Computer. Automation --- toegepaste informatica --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen
| Listing 1 - 3 of 3 |
Sort by
|