Advances in Software Science and Technology - Japan Society for Software Science and Technology
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780120371013

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rules for Submission of English Papers and English Paper Style Guidelines

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50017-x ◽

1990 ◽

pp. 209-215

Download Full-text

Floating-Point Numbers and Real Numbers

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50014-4 ◽

1990 ◽

pp. 157-167

Author(s):

Hiroshi Horiguchi

Keyword(s):

Floating Point ◽

Real Numbers ◽

Floating Point Numbers

Download Full-text

Methods for Transforming Attribute Grammars into Efficient Action Routines

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50009-0 ◽

1990 ◽

pp. 55-69

Author(s):

Takehiro Tokuda

Keyword(s):

Attribute Grammars

Download Full-text

Japan Society for Software Science and Technology

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50001-6 ◽

1990 ◽

pp. ii

Keyword(s):

Science And Technology ◽

Japan Society ◽

Software Science

Download Full-text

Overview of GMW+Wnn System

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50013-2 ◽

1990 ◽

pp. 133-156

Author(s):

Masami Hagiya ◽

Takashi Hattori ◽

Akitoshi Morishima ◽

Reiji Nakajima ◽

Naoyuki Niide ◽

...

Download Full-text

A Type Inference System for FP Programs

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50012-0 ◽

1990 ◽

pp. 105-131

Author(s):

Junhui Luo ◽

Takuya Katayama

Keyword(s):

Type Inference ◽

Inference System

Download Full-text

Logical Semantics of Multiple World Mechanism for Knowledge Representation in Logic Programming

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50007-7 ◽

1990 ◽

pp. 17-27 ◽

Cited By ~ 1

Author(s):

Hideyuki Nakashima

Keyword(s):

Knowledge Representation ◽

Logic Programming ◽

Logical Semantics

Download Full-text

Copyright page

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50003-x ◽

1990 ◽

pp. iv

Download Full-text

Front Matter

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50002-8 ◽

1990 ◽

pp. iii

Download Full-text

On Concurrent Programming in Smalltalk-80

Advances in Software Science and Technology - Japan Society for Software Science and Technology ◽

10.1016/b978-0-12-037101-3.50016-8 ◽

1990 ◽

pp. 187-207

Author(s):

Norihisa Doi ◽

Kiyoshi Segawa

Keyword(s):

Concurrent Programming

Download Full-text

Advances in Software Science and Technology - Japan Society for Software Science and TechnologyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Rules for Submission of English Papers and English Paper Style Guidelines

Floating-Point Numbers and Real Numbers

Methods for Transforming Attribute Grammars into Efficient Action Routines

Japan Society for Software Science and Technology

Overview of GMW+Wnn System

A Type Inference System for FP Programs

Logical Semantics of Multiple World Mechanism for Knowledge Representation in Logic Programming

Copyright page

Front Matter

On Concurrent Programming in Smalltalk-80

Advances in Software Science and Technology - Japan Society for Software Science and Technology
Latest Publications