A MECHANICAL THEOREM PROVING OF FIRST-ORDER MODAL LOGIC (S5)SUZUKI A; NAKAMATSU K.1982; TRANSACTIONS OF THE INSTITUTE OF ELECTRONICS AND COMMUNICATION ENGINEERS OF JAPAN. SECTION E; ISSN 0387-236X; JPN; DA. 1982; VOL. 65; NO 12; PP. 730-736; BIBL. 5 REF.Article

CONTEXT HABITUATION AND TASTE NEOPHOLIA: EVIDENCE FOR A CROSS-MODALITY CONTRAST EFFECTMITCHELL D; YIN M; NAKAMATSU K et al.1980; BEHAV. NEUR. BIOL.; USA; DA. 1980; VOL. 29; NO 1; PP. 117-122; BIBL. 13 REF.Article

Automatic theorem proving for modal predicate logicNAKAMATSU, K; SUZUKI, A.Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. 1984, Vol 67, Num 4, pp 203-210, issn 0387-236XArticle

Malignant progression of a transformed rat cell line by transfer of the v-fos oncogeneKAWANO, T; TANIGUCHI, S; NAKAMATSU, K et al.Biochemical and biophysical research communications (Print). 1987, Vol 149, Num 1, pp 173-179, issn 0006-291XArticle

A non-monotonic ATMS based on annotated logic programs with strong negationNAKAMATSU, K; SUZUKI, A.Lecture notes in computer science. 1998, pp 79-93, issn 0302-9743, isbn 3-540-64769-4Conference Paper

Persistent hypoglossal artery associated with arteriovenous malformation : a case reportNISHIDA, C; ASHIKAGA, R; ARAKI, Y et al.European journal of radiology. 2000, Vol 33, Num 1, pp 59-62, issn 0720-048XArticle

Mechanical characteristics of tungsten-containing carbon nanosprings grown by FIB-CVDNAKAMATSU, K; IGAKI, J; NAGASE, M et al.Microelectronic engineering. 2006, Vol 83, Num 4-9, pp 808-810, issn 0167-9317, 3 p.Conference Paper

High invasiveness associated with augmentation of motility in a fos-transferred highly metastatic rat 3Y1 cell lineTANIGUCHI, S; TATSUKA, M; NAKAMATSU, K et al.Cancer research (Baltimore). 1989, Vol 49, Num 23, pp 6738-6744, issn 0008-5472Article

Study for noise reduction in synchrotron radiation based scanning tunneling microscopy by developing insulator-coat tipSAITO, A; TAKAHASHI, K; ISHIKAWA, T et al.Surface science. 2007, Vol 601, Num 22, pp 5294-5299, issn 0039-6028, 6 p.Conference Paper