مرکز منطقه ای اطلاع رساني علوم و فناوري - An Informal Discussion Of Issues In Mechanically-assisted Reasoning

DocumentCode :

2415423

Title :

An Informal Discussion Of Issues In Mechanically-assisted Reasoning

Author :

Kaufmann, Matt

Author_Institution :

Computational Logic Inc.

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

318

Lastpage :

337

Keywords :

Automatic control; Computer security; Contracts; Control systems; Feedback; Government; Guidelines; Logic; Robustness;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location :

Davis, CA, USA

Print_ISBN :

0-8186-2460-4

Type :

conf

DOI :

10.1109/HOL.1991.596297

Filename :

596297

Link To Document :