Jump to main content

yr 〜
yr

Search results 4

Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / A. Pirotte, C. Delobel, G. Gottlob, eds. (Lecture notes in computer science)

Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings / A. Pirotte, C. Delobel, G. Gottlob, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8193>
National Diet Library
  • Author Heading...enna, Austria) Pirotte, A. Delobel, C., 1938- Gottlob, G...

Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings : gw : us

Advances in database technology : EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings : gw : us
Paper図書
A. Pirotte, C. Delobel, G. Gottlob (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingInternational Conference on Extending Database Technology Pirotte, A. Delobel, C. Gottlob, Georg

11th International Conference on Very Large Data Bases, Stockholm, August 21-23, 1985

11th International Conference on Very Large Data Bases, Stockholm, August 21-23, 1985
Paper図書
edited by A. Pirotte and Y. VassiliouVLDB Endowmentc1985
Other Libraries in Japan
  • Author HeadingInternational Conference on Very Large Data Bases Pirotte, A. Vassiliou, Yannis

Automatic theorem proving based on resolution

Automatic theorem proving based on resolution
Paper図書
by A. PirottePergamon Pressc1973
Other Libraries in Japan
  • Author HeadingPirotte, A.

Reached to the end of result.

RSS