( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What Can We Hope to Achieve From Automated Deduction? (Abstract).

. CADE, том 1104 из Lecture Notes in Computer Science, стр. 245. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

James Wesley Scott

 

Другие публикации лиц с тем же именем

Generalization of a Lemma of G. F. Rose., , и . J. Symb. Log., 23 (2): 137-138 (1958)Some Definitional Suggestions for Automata Theory.. J. Comput. Syst. Sci., 1 (2): 187-212 (1967)Boolean-Valued Semantics for the Stochastic λ-Calculus., , , , , и . LICS, стр. 669-678. ACM, (2018)Lambda Calculus Then and Now.. ACM-TURING, стр. 9:1. ACM, (2012)Mathematical concepts in programming language semantics.. AFIPS Spring Joint Computing Conference, том 40 из AFIPS Conference Proceedings, стр. 225-234. AFIPS, (1972)Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation., , , и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 69-83. Springer, (2023)Logic and Programming Languages.. Commun. ACM, 20 (9): 634-641 (1977)Will Logicians be Replaced by Machines?. TACS, том 526 из Lecture Notes in Computer Science, стр. 771. Springer, (1991)What Can We Hope to Achieve From Automated Deduction? (Abstract).. CADE, том 1104 из Lecture Notes in Computer Science, стр. 245. Springer, (1996)Effective versions of equilogical spaces.. Workshop on Domains, том 35 из Electronic Notes in Theoretical Computer Science, стр. 204. Elsevier, (1998)