A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
7 résultat(s) recherche sur le mot-clé 'logic programming'
Affiner la recherche Générer le flux rss de la rechercheNatural language understanding and logic programming / Veronica Dahl
Titre : Natural language understanding and logic programming Titre original : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September 1984 Type de document : texte imprimé Auteurs : Veronica Dahl, Editeur scientifique ; Patrick Saint-Dizier, Editeur scientifique Editeur : Amsterdam : North-Holland. VIII, 345 p. Année de publication : 1985 Importance : viii - 345 p. ISBN/ISSN/EAN : 978-0-444-87714-7 Catégories : 68-XX Computer science :68NXX Software:68N17 Logic programming
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : rennes (france) workshop proceedings logic programming language natural language understanding Index. décimale : 68B Publication collective Natural language understanding and logic programming = proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September 1984 [texte imprimé] / Veronica Dahl, Editeur scientifique ; Patrick Saint-Dizier, Editeur scientifique . - Amsterdam : North-Holland. VIII, 345 p., 1985 . - viii - 345 p.
ISBN : 978-0-444-87714-7
Catégories : 68-XX Computer science :68NXX Software:68N17 Logic programming
68-XX Computer science :68TXX Artificial intelligence:68T50 Natural language processingMots-clés : rennes (france) workshop proceedings logic programming language natural language understanding Index. décimale : 68B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15533 68B24 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Concepts, techniques, and models of computer programming Type de document : texte imprimé Auteurs : van Roy, P. ; Haridi, S. Editeur : Cambridge, MA : The Mit Press Année de publication : 2004 Importance : xxvii - 900 p. ISBN/ISSN/EAN : 978-0-262-22069-9 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : computer science logic programming Index. décimale : 68C Monographie Concepts, techniques, and models of computer programming [texte imprimé] / van Roy, P. ; Haridi, S. . - Cambridge, MA : The Mit Press, 2004 . - xxvii - 900 p.
ISBN : 978-0-262-22069-9
Langues : Anglais
Catégories : 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : computer science logic programming Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16382 68C294 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Principles of constraint programming Type de document : texte imprimé Auteurs : Krzysztof R. Apt Editeur : Cambridge : Cambridge University Press Année de publication : 2003 Importance : xii - 407 p. ISBN/ISSN/EAN : 978-0-521-82583-2 Langues : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : logic programming programming languages constraint programming Index. décimale : IRIN Principles of constraint programming [texte imprimé] / Krzysztof R. Apt . - Cambridge : Cambridge University Press, 2003 . - xii - 407 p.
ISBN : 978-0-521-82583-2
Langues : AnglaisExemplaires
Code-barres Cote Support Localisation Section Disponibilité 14915 IRIN/68C155 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 14332 IRIN/68C100 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Tracts in Computer Sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : apartness e-logic multi-succedent intuitionistic sequent calculus kleene-style sequent calculus logic programming connections with computer science first-order arithmetic modal logic hilbert-style system resolution second-order heyting arithmetic linear logic coherence theorem categorical logic formulas-as-types relation combinatory logic type theory interpolation strong normalization cut elimination gentzen type system sequent calculus natural deduction system intuitionistic logic classical logic minimal logic proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H. . - 2nd ed. . - Cambridge : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) .
ISBN : 978-0-521-77911-1
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : apartness e-logic multi-succedent intuitionistic sequent calculus kleene-style sequent calculus logic programming connections with computer science first-order arithmetic modal logic hilbert-style system resolution second-order heyting arithmetic linear logic coherence theorem categorical logic formulas-as-types relation combinatory logic type theory interpolation strong normalization cut elimination gentzen type system sequent calculus natural deduction system intuitionistic logic classical logic minimal logic proof theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13412 03C02 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Permalink
Permalink
