Kowalski, Robert A. Amélioration Assistance
070184445
Notice de type Personne

Forme retenue

Kowalski, Robert A.

Forme rejetée

Kowalski, Robert
[Nom de personne]

Information

Langue d'expression : anglais

Source

His Logic for problem solving, c1979: t.p. (Robert Kowalski, Imperial Coll. of Sci & Tech., Univ. of London)

Information trouvée :auteur - LCNA


Logic programming, proceedings of the fifth international conference and symposium, vol. 1,/Robert A. Kowalski, 1988

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :5 rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 3 )
080 Préfacier, etc. ( 1 )
340 Editeur scientifique ( 7 )
990 Fonction non précisée ( 3 )



Code de fonction non reconnu :

Rôles ?



020798555 : Logic programming : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge, Mass. : MIT Press , c1988



Auteur :

Rôles ?



099280043 : Logic for problem solving / Robert Kowalski / 2nd print / Amsterdam : North-Holland , 1983

004937546 : Logic for problem solving [Texte imprimé] / Robert Kowalski,... / New York : North-Holland , cop. 1979

154942871 : Computational logic and human thinking [Texte imprimé] : how to be artificially intelligent / Robert Kowalski,... / Cambridge : Cambridge University Press , cop. 2011



Préfacier, etc. :

Rôles ?



001164139 : Programmation en logique [Texte imprimé] / C. J. Hogger, ... ; traduit de l'anglais par René Quiniou ; préface de R. Kowalski / Paris : Masson , 1987



Editeur scientifique :

Rôles ?



099448416 : Theory and practice of software development 1987, 2 : proceedings / of the international joint conference on ..., Pisa, Italy, March 23-27, 1987, advanced seminar on foundations of innovative software development 2 and colloquium on functional and logic programming and specifications (CFLP) ; ed. by Hartmut Ehrig, Robert Kowalski, Giorgio Levi and Ugo Montanari / Berlin : Springer , 1987

099453770 : Theory and practice of software development 1987, 1 : proceedings / International joint conference on Theory and practice of software development. TAPSOFT / Berlin : Springer , 1987

02276478X : 5th Conference on Automated Deduction [Texte imprimé] : Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski / Berlin : Springer-Verlag , cop. 1980

035972734 : TAPSOFT '87 Volume 1, Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87) [Texte imprimé] : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giogio Levi and Ugo Montanari / Berlin : Springer-Verlag , cop. 1987

035972742 : Tapsoft '87 Volume 2, Advanced seminar on foundations of innovative software development II and Colloquium on functional and logic programming and specifications (CFLP) [Texte imprimé] : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giogio Levi and Ugo Montanari / Berlin : Springer-Verlag , cop. 1987

074323458 : Logic programming volume 1, [Texte imprimé] : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge (Mass.) : MIT Press , cop. 1988

074331221 : Logic programming volume 2, [Texte imprimé] : proceedings of the fifth international conference and symposium / edited by Robert A. Kowalski and Kenneth A. Bowen / Cambridge (Mass.) : MIT Press , cop. 1988



Fonction non précisée :

Rôles ?



155234587 : 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [Ressource électronique] / edited by Wolfgang Bibel, Robert Kowalski. / Berlin, Heidelberg : Springer-Verlag , 1980

155203193 : TAPSOFT '87 [Ressource électronique] : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari. / Berlin, Heidelberg : Springer-Verlag , 1987

155223984 : TAPSOFT '87 [Ressource électronique] : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari. / Berlin, Heidelberg : Springer-Verlag , 1987


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance