Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Pengarang
Katsunori Miura
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
'Katsunori Miura'
, lama mencari: 0.10s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Generating Speq Rules based on Automatic Proof of Logical Equivalence
Article
oleh
Katsunori
Miura
,
Kiyoshi Akama
,
Hiroshi Mabuchi
Terbitan:
2008
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
ET rule
Equation of two variables
Equivalent transformation
Rule generation
Specialization-by-Equation rule
×
Loading...
