Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project

Kazunori Ueda

doi:10.1007/978-3-319-29604-3_1

Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project

Kazunori Ueda^*

^*この研究の対応する著者

基幹理工学部

研究成果: Conference contribution

1 被引用数 (Scopus)

本文言語	English
ホスト出版物のタイトル	Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings
編集者	Oleg Kiselyov, Andy King
出版社	Springer Verlag
ページ	1-11
ページ数	11
ISBN（印刷版）	9783319296036
DOI	https://doi.org/10.1007/978-3-319-29604-3_1
出版ステータス	Published - 2016
イベント	13th International Symposium on Functional and Logic Programming, FLOPS 2016 - Kochi, Japan 継続期間: 2016 3月 4 → 2016 3月 6

出版物シリーズ

名前	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻	9613
ISSN（印刷版）	0302-9743
ISSN（電子版）	1611-3349

Other

Other	13th International Symposium on Functional and Logic Programming, FLOPS 2016
国/地域	Japan
City	Kochi
Period	16/3/4 → 16/3/6

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1007/978-3-319-29604-3_1

他のファイルとリンク

引用スタイル

Ueda, K. (2016). Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. In O. Kiselyov, & A. King (Eds.), Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings (pp. 1-11). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9613). Springer Verlag. https://doi.org/10.1007/978-3-319-29604-3_1

Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. / Ueda, Kazunori.
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. ed. / Oleg Kiselyov; Andy King. Springer Verlag, 2016. p. 1-11 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9613).

研究成果: Conference contribution

Ueda, K 2016, Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. in O Kiselyov & A King (eds), Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9613, Springer Verlag, pp. 1-11, 13th International Symposium on Functional and Logic Programming, FLOPS 2016, Kochi, Japan, 16/3/4. https://doi.org/10.1007/978-3-319-29604-3_1

Ueda K. Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project. In Kiselyov O, King A, editors, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Springer Verlag. 2016. p. 1-11. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-29604-3_1

Ueda, Kazunori. / Logic/constraint programming and concurrency : The hard-won lessons of the fifth generation computer project. Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. editor / Oleg Kiselyov ; Andy King. Springer Verlag, 2016. pp. 1-11 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d9664d9412ed4d3485a2eb17fb823aa7,

title = "Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project",

author = "Kazunori Ueda",

year = "2016",

doi = "10.1007/978-3-319-29604-3_1",

language = "English",

isbn = "9783319296036",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--11",

editor = "Oleg Kiselyov and Andy King",

booktitle = "Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings",

note = "13th International Symposium on Functional and Logic Programming, FLOPS 2016 ; Conference date: 04-03-2016 Through 06-03-2016",

}

TY - GEN

T1 - Logic/constraint programming and concurrency

T2 - 13th International Symposium on Functional and Logic Programming, FLOPS 2016

AU - Ueda, Kazunori

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?scp=84961177183&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84961177183&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-29604-3_1

DO - 10.1007/978-3-319-29604-3_1

M3 - Conference contribution

AN - SCOPUS:84961177183

SN - 9783319296036

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 11

BT - Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings

A2 - Kiselyov, Oleg

A2 - King, Andy

PB - Springer Verlag

Y2 - 4 March 2016 through 6 March 2016

ER -