About DBpedia Fr

About: http://fr.dbpedia.org/resource/Liste_de_publications_importantes_en_informatique_théorique

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Voici une liste de publications importantes en informatique théorique, organisés par domaine. Quelques raisons pour lesquelles une publication peut être considérée comme importante: * Sujet créateur – Une publication qui a créé un nouveau sujet * Découverte – Une publication qui a changé de manière significative les connaissances scientifiques * Influence – Une publication qui a considérablement influencé le monde, ou qui a eu un impact massif sur l'enseignement de l'informatique théorique.

Property Value
dbo:abstract
  • Voici une liste de publications importantes en informatique théorique, organisés par domaine. Quelques raisons pour lesquelles une publication peut être considérée comme importante: * Sujet créateur – Une publication qui a créé un nouveau sujet * Découverte – Une publication qui a changé de manière significative les connaissances scientifiques * Influence – Une publication qui a considérablement influencé le monde, ou qui a eu un impact massif sur l'enseignement de l'informatique théorique. (fr)
  • Voici une liste de publications importantes en informatique théorique, organisés par domaine. Quelques raisons pour lesquelles une publication peut être considérée comme importante: * Sujet créateur – Une publication qui a créé un nouveau sujet * Découverte – Une publication qui a changé de manière significative les connaissances scientifiques * Influence – Une publication qui a considérablement influencé le monde, ou qui a eu un impact massif sur l'enseignement de l'informatique théorique. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10100015 (xsd:integer)
dbo:wikiPageLength
  • 27696 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 183843369 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1948 (xsd:integer)
  • 1950 (xsd:integer)
  • 1952 (xsd:integer)
  • 1959 (xsd:integer)
  • 1960 (xsd:integer)
  • 1962 (xsd:integer)
  • 1963 (xsd:integer)
  • 1965 (xsd:integer)
  • 1967 (xsd:integer)
  • 1970 (xsd:integer)
  • 1971 (xsd:integer)
  • 1972 (xsd:integer)
  • 1975 (xsd:integer)
  • 1977 (xsd:integer)
  • 1979 (xsd:integer)
  • 1980 (xsd:integer)
  • 1982 (xsd:integer)
  • 1983 (xsd:integer)
  • 1986 (xsd:integer)
  • 1987 (xsd:integer)
  • 1989 (xsd:integer)
  • 1992 (xsd:integer)
  • 1996 (xsd:integer)
  • 1998 (xsd:integer)
prop-fr:auteursOuvrage
  • Shisha Oved (fr)
  • Shisha Oved (fr)
prop-fr:date
  • October 1969 (fr)
  • October 1969 (fr)
prop-fr:doi
  • 10.100200 (xsd:double)
  • 10.101600 (xsd:double)
  • 10.110900 (xsd:double)
  • 10.112600 (xsd:double)
  • 10.113700 (xsd:double)
  • 10.114500 (xsd:double)
  • 10.114700 (xsd:double)
  • 10.128700 (xsd:double)
prop-fr:isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
prop-fr:journal
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • Noam Chomsky (fr)
  • Abraham Lempel (fr)
  • Juris Hartmanis (fr)
  • Martin Davis (fr)
  • Michael O. Rabin (fr)
  • Rajeev Motwani (fr)
  • Richard Karp (fr)
  • Silvio Micali (fr)
  • Edsger W. Dijkstra (fr)
  • Sanjeev Arora (fr)
  • Carsten Lund (fr)
  • Lance Fortnow (fr)
  • Charles Rackoff (fr)
  • Adi Shamir (fr)
  • David S. Johnson (fr)
  • Victor Klee (fr)
  • Amir Pnueli (fr)
  • Jacob Ziv (fr)
  • Andrei N. Kolmogorov (fr)
  • Andrew Chi-Chih Yao (fr)
  • C.A.R. Hoare (fr)
  • David A. Huffman (fr)
  • George J. Minty (fr)
  • J. Alan Robinson (fr)
  • John Michael Spivey (fr)
  • Laszlo Lovász (fr)
  • Madhu Sudan (fr)
  • Manuel Blum (fr)
  • Mario Szegedy (fr)
  • Michael Held (fr)
  • Michael R. Garey (fr)
  • Oded Goldreich (fr)
  • Richard Stearns (fr)
  • Scott Kirkpatrick (fr)
  • Shafi Goldwasser (fr)
  • Shmuel Safra (fr)
  • Stephen Cook (fr)
  • Uriel Feige (fr)
  • Noam Chomsky (fr)
  • Abraham Lempel (fr)
  • Juris Hartmanis (fr)
  • Martin Davis (fr)
  • Michael O. Rabin (fr)
  • Rajeev Motwani (fr)
  • Richard Karp (fr)
  • Silvio Micali (fr)
  • Edsger W. Dijkstra (fr)
  • Sanjeev Arora (fr)
  • Carsten Lund (fr)
  • Lance Fortnow (fr)
  • Charles Rackoff (fr)
  • Adi Shamir (fr)
  • David S. Johnson (fr)
  • Victor Klee (fr)
  • Amir Pnueli (fr)
  • Jacob Ziv (fr)
  • Andrei N. Kolmogorov (fr)
  • Andrew Chi-Chih Yao (fr)
  • C.A.R. Hoare (fr)
  • David A. Huffman (fr)
  • George J. Minty (fr)
  • J. Alan Robinson (fr)
  • John Michael Spivey (fr)
  • Laszlo Lovász (fr)
  • Madhu Sudan (fr)
  • Manuel Blum (fr)
  • Mario Szegedy (fr)
  • Michael Held (fr)
  • Michael R. Garey (fr)
  • Oded Goldreich (fr)
  • Richard Stearns (fr)
  • Scott Kirkpatrick (fr)
  • Shafi Goldwasser (fr)
  • Shmuel Safra (fr)
  • Stephen Cook (fr)
  • Uriel Feige (fr)
prop-fr:lieu
  • New York (fr)
  • Jerusalem (fr)
  • New York-London (fr)
  • New York (fr)
  • Jerusalem (fr)
  • New York-London (fr)
prop-fr:lireEnLigne
prop-fr:mr
  • 178484 (xsd:integer)
  • 332165 (xsd:integer)
  • 1643414 (xsd:integer)
prop-fr:nom
  • Lund (fr)
  • Robinson (fr)
  • Yao (fr)
  • Davis (fr)
  • Cook (fr)
  • Johnson (fr)
  • Rabin (fr)
  • Girard (fr)
  • Huffman (fr)
  • Klee (fr)
  • Blum (fr)
  • Karp (fr)
  • Motwani (fr)
  • Shannon (fr)
  • Kirkpatrick (fr)
  • Sudan (fr)
  • Kolmogorov (fr)
  • Dijkstra (fr)
  • Hoare (fr)
  • Arora (fr)
  • Vecchi (fr)
  • Stearns (fr)
  • Feige (fr)
  • Loveland (fr)
  • Chomsky (fr)
  • Chaitin (fr)
  • Fortnow (fr)
  • Karloff (fr)
  • Nisan (fr)
  • Szegedy (fr)
  • Minty (fr)
  • Lovász (fr)
  • Lempel (fr)
  • Ziv (fr)
  • Held (fr)
  • Shamir (fr)
  • Goldreich (fr)
  • Goldwasser (fr)
  • Micali (fr)
  • Rackoff (fr)
  • Dromey (fr)
  • Garey (fr)
  • Gelatt (fr)
  • Hamming (fr)
  • Hartmanis (fr)
  • Logemann (fr)
  • Pnueli (fr)
  • Safra (fr)
  • Spivey (fr)
  • Lund (fr)
  • Robinson (fr)
  • Yao (fr)
  • Davis (fr)
  • Cook (fr)
  • Johnson (fr)
  • Rabin (fr)
  • Girard (fr)
  • Huffman (fr)
  • Klee (fr)
  • Blum (fr)
  • Karp (fr)
  • Motwani (fr)
  • Shannon (fr)
  • Kirkpatrick (fr)
  • Sudan (fr)
  • Kolmogorov (fr)
  • Dijkstra (fr)
  • Hoare (fr)
  • Arora (fr)
  • Vecchi (fr)
  • Stearns (fr)
  • Feige (fr)
  • Loveland (fr)
  • Chomsky (fr)
  • Chaitin (fr)
  • Fortnow (fr)
  • Karloff (fr)
  • Nisan (fr)
  • Szegedy (fr)
  • Minty (fr)
  • Lovász (fr)
  • Lempel (fr)
  • Ziv (fr)
  • Held (fr)
  • Shamir (fr)
  • Goldreich (fr)
  • Goldwasser (fr)
  • Micali (fr)
  • Rackoff (fr)
  • Dromey (fr)
  • Garey (fr)
  • Gelatt (fr)
  • Hamming (fr)
  • Hartmanis (fr)
  • Logemann (fr)
  • Pnueli (fr)
  • Safra (fr)
  • Spivey (fr)
prop-fr:numéro
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
  • 6 (xsd:integer)
  • 7 (xsd:integer)
  • 8 (xsd:integer)
  • 9 (xsd:integer)
  • 10 (xsd:integer)
  • 117 (xsd:integer)
  • 4598 (xsd:integer)
prop-fr:numéroD'édition
  • 2 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 23 (xsd:integer)
  • 70 (xsd:integer)
  • 128 (xsd:integer)
  • 137 (xsd:integer)
  • 147 (xsd:integer)
  • 151 (xsd:integer)
  • 159 (xsd:integer)
  • 186 (xsd:integer)
  • 268 (xsd:integer)
  • 285 (xsd:integer)
  • 322 (xsd:integer)
  • 337 (xsd:integer)
  • 350 (xsd:integer)
  • 369 (xsd:integer)
  • 379 (xsd:integer)
  • 387 (xsd:integer)
  • 394 (xsd:integer)
  • 453 (xsd:integer)
  • 501 (xsd:integer)
  • 576 (xsd:integer)
  • 671 (xsd:integer)
  • 792 (xsd:integer)
  • 859 (xsd:integer)
  • 869 (xsd:integer)
  • 1098 (xsd:integer)
  • 1138 (xsd:integer)
prop-fr:pagesTotales
  • 46 (xsd:integer)
  • 80 (xsd:integer)
  • 158 (xsd:integer)
  • 338 (xsd:integer)
  • 442 (xsd:integer)
prop-fr:pmid
  • 17813860 (xsd:integer)
prop-fr:prénom
  • A. (fr)
  • C.E. (fr)
  • G. (fr)
  • H. (fr)
  • J. (fr)
  • L. (fr)
  • M. (fr)
  • R. (fr)
  • Victor (fr)
  • C. (fr)
  • D. (fr)
  • Manuel (fr)
  • Richard (fr)
  • Gregory (fr)
  • N. (fr)
  • S. (fr)
  • U. (fr)
  • A. C. (fr)
  • David S. (fr)
  • J. A. (fr)
  • J. M. (fr)
  • O. (fr)
  • R. M. (fr)
  • E. W. (fr)
  • George J. (fr)
  • Michael O. (fr)
  • Juris (fr)
  • R. G. (fr)
  • Michael R. (fr)
  • Stephen A. (fr)
  • C. D. (fr)
  • M. P. (fr)
  • Andrei N. (fr)
  • C. A. R. (fr)
  • J.-Y (fr)
  • A. (fr)
  • C.E. (fr)
  • G. (fr)
  • H. (fr)
  • J. (fr)
  • L. (fr)
  • M. (fr)
  • R. (fr)
  • Victor (fr)
  • C. (fr)
  • D. (fr)
  • Manuel (fr)
  • Richard (fr)
  • Gregory (fr)
  • N. (fr)
  • S. (fr)
  • U. (fr)
  • A. C. (fr)
  • David S. (fr)
  • J. A. (fr)
  • J. M. (fr)
  • O. (fr)
  • R. M. (fr)
  • E. W. (fr)
  • George J. (fr)
  • Michael O. (fr)
  • Juris (fr)
  • R. G. (fr)
  • Michael R. (fr)
  • Stephen A. (fr)
  • C. D. (fr)
  • M. P. (fr)
  • Andrei N. (fr)
  • C. A. R. (fr)
  • J.-Y (fr)
prop-fr:sousTitre
  • a guide to the theory of NP-completeness (fr)
  • A Reference Manual (fr)
  • a guide to the theory of NP-completeness (fr)
  • A Reference Manual (fr)
prop-fr:titre
  • 18 (xsd:integer)
  • 23 (xsd:integer)
  • dbpedia-fr:How_to_Solve_it_by_Computer
  • Computers and intractability (fr)
  • Proof verification and the hardness of approximation problems (fr)
  • On certain formal properties of grammars (fr)
  • A Machine-Oriented Logic Based on the Resolution Principle (fr)
  • A universal algorithm for sequential data compression (fr)
  • Degree of difficulty of computing a function and a partial ordering of recursive sets (fr)
  • Guarded commands, nondeterminacy and formal derivation of programs (fr)
  • The Traveling-Salesman Problem and Minimum Spanning Trees (fr)
  • A Method for the Construction of Minimum-Redundancy Codes (fr)
  • A machine program for theorem-proving (fr)
  • A mathematical theory of communication (fr)
  • Algebraic methods for interactive proof systems (fr)
  • Algorithmic information theory (fr)
  • An axiomatic basis for computer programming (fr)
  • Error detecting and error correcting codes (fr)
  • How good is the simplex algorithm? (fr)
  • How to construct random functions (fr)
  • IP = PSPACE (fr)
  • Linear Logic (fr)
  • On Tables of Random Numbers (fr)
  • On the computational complexity of algorithms (fr)
  • Optimization by Simulated Annealing (fr)
  • Probabilistic algorithm for testing primality (fr)
  • The Complexity of Theorem-Proving Procedures (fr)
  • The Z Notation (fr)
  • Interactive proofs and the hardness of approximating cliques (fr)
  • A Machine-Independent Theory of the Complexity of Recursive Functions (fr)
  • Probabilistic checking of proofs: A new characterization of NP (fr)
  • The Knowledge Complexity of Interactive Proof Systems (fr)
prop-fr:titreChapitre
  • Theory and application of trapdoor functions (fr)
  • The temporal logic of programs (fr)
  • Theory and application of trapdoor functions (fr)
  • The temporal logic of programs (fr)
prop-fr:titreOuvrage
  • Inequalities III (fr)
  • Inequalities III (fr)
prop-fr:url
prop-fr:volume
  • 2 (xsd:integer)
  • 5 (xsd:integer)
  • 12 (xsd:integer)
  • 14 (xsd:integer)
  • 18 (xsd:integer)
  • 21 (xsd:integer)
  • 23 (xsd:integer)
  • 25 (xsd:integer)
  • 27 (xsd:integer)
  • 29 (xsd:integer)
  • 33 (xsd:integer)
  • 39 (xsd:integer)
  • 40 (xsd:integer)
  • 43 (xsd:integer)
  • 45 (xsd:integer)
  • 50 (xsd:integer)
  • 207 (xsd:integer)
  • 220 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • Voici une liste de publications importantes en informatique théorique, organisés par domaine. Quelques raisons pour lesquelles une publication peut être considérée comme importante: * Sujet créateur – Une publication qui a créé un nouveau sujet * Découverte – Une publication qui a changé de manière significative les connaissances scientifiques * Influence – Une publication qui a considérablement influencé le monde, ou qui a eu un impact massif sur l'enseignement de l'informatique théorique. (fr)
  • Voici une liste de publications importantes en informatique théorique, organisés par domaine. Quelques raisons pour lesquelles une publication peut être considérée comme importante: * Sujet créateur – Une publication qui a créé un nouveau sujet * Découverte – Une publication qui a changé de manière significative les connaissances scientifiques * Influence – Une publication qui a considérablement influencé le monde, ou qui a eu un impact massif sur l'enseignement de l'informatique théorique. (fr)
rdfs:label
  • List of important publications in theoretical computer science (en)
  • Liste de publications importantes en informatique théorique (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License