Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 102 | << page >> |
Sort by
|
Book
Year: 1972 Publisher: Roma : Cremonese,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bertini, Théorèmes de --- Bertini's theorems --- Geometrie algebrique
Book
ISBN: 9782916352107 Year: 2009 Volume: 104 Publisher: Paris : Calvage et Mounet,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical analysis --- Automatic theorem proving --- Analyse mathématique --- Théorèmes --- Foundations --- Fondements --- Démonstration automatique
Book
Year: 1971 Volume: 4 Publisher: Philadelphia, Pa. : Society for Industrial and Applied Mathematics
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9782706116544 Year: 2011 Publisher: Rennes : PUG,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Evidence (Law) --- Automatic theorem proving --- Preuve (Droit) --- Théorèmes --- Démonstration automatique
Book
Year: 1970 Volume: 125 Publisher: Berlin,New York : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Théorèmes --- Congresses --- Démonstration automatique --- Congrès
Book
Year: 1970 Publisher: Paris : Dunod,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Intelligence artificielle --- Automatic theorem proving --- Théorèmes --- Démonstration automatique --- Théorèmes --- Démonstration automatique
Book
Year: 1969 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Théorèmes taubériens --- Suites et series --- Sommabilite --- Suites et series --- Sommabilite
Book
Year: 1959 Publisher: New York, NY : Dover,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fourier, Séries de --- Théorèmes taubériens --- Analyse harmonique --- Analyse harmonique
ISBN: 0387909451 0911575030 9780911575033 Year: 1984 Publisher: New York : Optimization Software, Publications Division,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Théorèmes limites (théorie des probabilités) --- Limit theorems (Probability theory) --- Théorèmes limites (Théorie des probabilités) --- Kansverdelingen --- Limietstellingen --- Stochastische processen --- Kansverdelingen. --- Limietstellingen. --- Stochastische processen. --- Théorèmes limites (théorie des probabilités) --- Théorèmes limites (Théorie des probabilités)
ISBN: 019853499X 9780198534990 Year: 1995 Volume: 4 Publisher: Oxford Clarendon
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 102 | << page >> |
Sort by
|