文献
J-GLOBAL ID：201102270466517981   整理番号：11A1886300

CVC4

CVC4
著者 (8件)：
BARRETT Clark

BARRETT Clark について

(New York Univ.)

New York Univ. について

, 
CONWAY Christopher L.

CONWAY Christopher L. について

(New York Univ.)

New York Univ. について

, 
DETERS Morgan

DETERS Morgan について

(New York Univ.)

New York Univ. について

, 
HADAREAN Liana

HADAREAN Liana について

(New York Univ.)

New York Univ. について

, 
JOVANOVIC Dejan

JOVANOVIC Dejan について

(New York Univ.)

New York Univ. について

, 
KING Tim

KING Tim について

(New York Univ.)

New York Univ. について

, 
REYNOLDS Andrew

REYNOLDS Andrew について

(Univ. Iowa)

Univ. Iowa について

, 
TINELLI Cesare

TINELLI Cesare について

(Univ. Iowa)

Univ. Iowa について


資料名：
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

Lecture Notes in Computer Science について


巻： 6806  ページ： 171-177  発行年： 2011年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM