1. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده : Didier Galmiche )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
2. Compositionality, concurrency, and partial correctness :
پدیدآورنده : J. Zwiers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
Z87
1989
3. Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship
پدیدآورنده : Zwiers, Job, 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
321
4. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده : Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
