Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 27 | << page >> |
Sort by
|
Book
Year: 1953 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 2040001476 9782040001476 Year: 1976 Publisher: Paris : Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebra, Boolean --- Logique combinatoire --- Combinatory logic --- Logique combinatoire.
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique combinatoire --- Logique mathématique --- Logique combinatoire
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique combinatoire --- Logique mathématique --- Logique combinatoire
Book
Year: 1995 Publisher: Toulouse : Institut national polytechnique de Toulouse,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Combinatory logic. --- Automation. --- Logique combinatoire. --- Automatisation.
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Article
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
LOGIQUE GENERALE --- LOGIQUE MATHEMATIQUE --- LAMBDA-CALCULUS --- LOGIQUE COMBINATOIRE --- LOGIQUE GENERALE --- LOGIQUE MATHEMATIQUE --- LAMBDA-CALCULUS --- LOGIQUE COMBINATOIRE
Book
ISBN: 2130480101 9782130480105 Year: 1997 Volume: 3205 Publisher: Paris PUF
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Combinatory logic. --- Logique combinatoire --- Algebra, Boolean. --- Switching theory.
Book
ISBN: 9061962005 Year: 1980 Publisher: Amsterdam : Mathematisch centrum,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Combinatory logic. --- Lambda calculus. --- Recursive programming. --- Logique mathématique --- Logique générale --- Logique combinatoire --- Lambda-calculus
ISBN: 0720422086 9780080954776 0080954774 1282309374 9781282309371 9786612309373 6612309377 9780444533876 0444533877 9780720422085 Year: 1958 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Mathematical logic --- Combinatory logic. --- Logic, Symbolic and mathematical. --- Combinatory logic --- Logique combinatoire --- ELSEVIER-B EPUB-LIV-FT --- Logique mathématique
| Listing 1 - 10 of 27 | << page >> |
Sort by
|