WebOPAC Local書誌詳細

Bibliography Details

Library

On the axiomatization of "if-then-else"

by Irène Guessarian and José Meseguer. -- Center for the Study of Language and Information, 1985. -- (Report (Center for the Study of Language and Information (U.S.)) ; Report No. CSLI-18-20). <BB00310359>

(0)

Tag:

No tag is registered

Functions:

Contents and Summary Review Details

URL:

On the axiomatization of "if-then-else"

(0)

Tag:

No tag is registered

Functions:

Contents and Summary Review Details

URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No.	Volumes	Library	Location	Call No	Material ID	Status	Due Date	Reservation	WEB書棚
0001		Hachioji	BF 洋図書	801/C-94/20	00100495907			0items


No.	0001
Volumes
Library	Hachioji
Location	BF 洋図書
Call No	801/C-94/20
Material ID	00100495907
Status
Due Date
Reservation	0items
WEB書棚

Go to the top of this page

Contents and Summary

Go to the top of this page

Review

Go to the top of this page

Bibliography Details

title and statement of responsibility area	On the axiomatization of "if-then-else" / by Irène Guessarian and José Meseguer
publication,distribution,etc.,area	Stanford, CA : Center for the Study of Language and Information , c1985
physical description area	38 p. : ill. 28 cm
parent bibliography link	Report (Center for the Study of Language and Information (U.S.)) <BB00328092> Report No. CSLI-18-20//a
note	"October 1985"
note	Includes bibliographivcal references
NCID	BA24807842
text language code	English
author link	*Guessarian, Irène, 1948- <>
author link	Meseguer, José <>
subject headings	Artificial intelligence
subject headings	Linguistic analysis (Linguistics)
subject headings	Systemic grammar
subject headings	If-then-else (Computer statement)