Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Favorite
Focussing proof-net construction as a midleware paradign, Hal. 501-516
Author: Jean Marc Andreocoli | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
[Remove]