عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 M35 1993
QA
76
.
9
.
M35
M35
1993
کتابخانه
محل استقرار
English
Many-sorted logic and its applications
Chichester, New York
Wiley
1993
xvii, 397 p. : ill. ; 24 cm
Wiley professional computing
Includes bibliographical references and index
edited by K. Meinke and J.V. Tucker
1
2
3
، Computer science - Mathematics
، Logic, Symbolic and mathematical
، Artificial intelligence
QA
76
.
9
.
M35
M35
1993
CA
005
.
13/1
TI
AU Meinke, K.)Karl(
AU Tucker, J. V.)John V.( 1952-
SE
