An interpreter for the Boolean derivative
APPLIED MATHEMATICS AND COMPUTATION, cilt.129, sa.1, ss.43-54, 2002 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 129 Sayı: 1
- Basım Tarihi: 2002
- Doi Numarası: 10.1016/s0096-3003(01)00023-6
- Dergi Adı: APPLIED MATHEMATICS AND COMPUTATION
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.43-54
- Atatürk Üniversitesi Adresli: Evet
Özet
We describe some recursive functions of an algorithm to obtain the Boolean derivative with recursion using list processing functions into Prolog. (C) 2002 Elsevier Science Inc. All rights reserved.