A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Catégories
> 68-XX Computer science > 68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 
Affiner la rechercheLe grand trucage / Lorraine Data
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19295 00H76 imprimé / autre CRDM 00/GENERALITES Disponible
Titre : Handbook of practical logic and automated reasoning Type de document : texte imprimé Auteurs : John Harrison, Auteur Editeur : Cambridge University Press Année de publication : 2009 Importance : xix - 681 p. ISBN/ISSN/EAN : 72 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : mathematical logic automated reasoning automated theorem proving Index. décimale : 03C Monographie Handbook of practical logic and automated reasoning [texte imprimé] / John Harrison, Auteur . - [S.l.] : Cambridge University Press, 2009 . - xix - 681 p.
ISSN : 72
Langues : Anglais (eng)
Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.)Mots-clés : mathematical logic automated reasoning automated theorem proving Index. décimale : 03C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19580 03C178 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Maple V : language reference manual Type de document : texte imprimé Auteurs : Char, Bruce W. ; Leong, Benton L. ; Gonnet, Gaston H. ; Geddes, Keith O. Editeur : Springer-Verlag Année de publication : 1991 Importance : xv - 267 p. ISBN/ISSN/EAN : 978-0-387-97622-8 Langues : Anglais (eng) Catégories : 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : maple computer algebra system maple language Index. décimale : 68C Monographie Maple V : language reference manual [texte imprimé] / Char, Bruce W. ; Leong, Benton L. ; Gonnet, Gaston H. ; Geddes, Keith O. . - [S.l.] : Springer-Verlag, 1991 . - xv - 267 p.
ISBN : 978-0-387-97622-8
Langues : Anglais (eng)
Catégories : 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : maple computer algebra system maple language Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10928 68C307 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Maple V : library reference manual Type de document : texte imprimé Auteurs : Char, Bruce W. ; Leong, Benton L. ; Gonnet, Gaston H. ; Geddes, Keith O. Editeur : Springer-Verlag Année de publication : 1991 Importance : xxv - 698 p. ISBN/ISSN/EAN : 978-0-387-97592-4 Langues : Anglais (eng) Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : symbolic computation computer algebra mathematical software Index. décimale : 68C Monographie Maple V : library reference manual [texte imprimé] / Char, Bruce W. ; Leong, Benton L. ; Gonnet, Gaston H. ; Geddes, Keith O. . - [S.l.] : Springer-Verlag, 1991 . - xxv - 698 p.
ISBN : 978-0-387-97592-4
Langues : Anglais (eng)
Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : symbolic computation computer algebra mathematical software Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10927 68C191 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Maple V. Release 3 : Getting started Type de document : texte imprimé Editeur : Waterloo, Ontario [Canada] : Waterloo Maple Software Année de publication : 1994 Langues : Anglais (eng) Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : mathematical software computer algebra symbolic computation Index. décimale : 68C Monographie Maple V. Release 3 : Getting started [texte imprimé] . - Waterloo, Ontario (Canada) : Waterloo Maple Software, 1994.
Langues : Anglais (eng)
Catégories : 65-XX Numerical analysis:65-04 Explicit machine computation and programs (not the theory of computation or programming)
68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computationMots-clés : mathematical software computer algebra symbolic computation Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18761 68C345 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Permalink
Permalink
Permalink
Permalink
