Typed Lambda Calculi and Applications

Theory and Applications of Satisfiability Testing

Proceedings of the 14th International Meshing Roundtable

Transformation Groups

Computer Graphics and Geometric Modelling

Integer Programming and Combinatorial Optimization

Static Analysis

Formal Concept Analysis

Inductive Logic Programming

Hasil Pencarian


Ditemukan 766 dari pencarian Anda melalui kata kunci: subject="MATH"
Permintaan membutuhkan 0.20118 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog