Search alternatives:
"logicians" » "logiciels"

1
Published 1990
Springer Berlin Heidelberg
... programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians...