Basic proof theory / Troelstra, A.

Public ISBD 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 programming Mots-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 programming Mots-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

Concepts, techniques, and models of computer programming / van Roy, P.

Public ISBD 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

Natural language understanding and logic programming / Veronica Dahl

Public ISBD 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 processing Mots-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 processing Mots-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

Principles of constraint programming / Krzysztof R. Apt

Public ISBD 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 programming Mots-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 : Anglais Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : logic programming  programming languages  constraint programming Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14915	IRIN/68C155	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Programming with constraints / Marriott, Kim

Public ISBD Titre : Programming with constraints : an introduction Type de document : texte imprimé Auteurs : Marriott, Kim ; Stuckey, Peter J. Editeur : Cambridge, MA : MIT Press Année de publication : 1998 Importance : xvi - 467 p. ISBN/ISSN/EAN : 978-0-262-13341-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.) Mots-clés : logic programming  constraint programming Index. décimale : IRIN Programming with constraints : an introduction [texte imprimé] / Marriott, Kim ; Stuckey, Peter J. . - Cambridge, MA : MIT Press, 1998 . - xvi - 467 p. ISBN : 978-0-262-13341-8 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.) Mots-clés : logic programming  constraint programming Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14332	IRIN/68C100	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Symposium on semantics of algorithmic languages / Engeler, E. Ed.

Permalink

---

page 1/1