Found 7 Documents (Results 1–7)
Translation of first order formulas into ground formulas via a completion theory. (English) Zbl 1436.03100
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated. (English) Zbl 1436.03055
MSC:
03A05
A multiple-valued logic approach to the design and verification of hardware circuits. (English) Zbl 1436.68198
The problem of coincidence in a theory of temporal multiple recurrence. (English) Zbl 1436.03119
MSC:
03B44
The principle of signature exchangeability. (English) Zbl 1436.03149
MSC:
03B48
Filter Results by …
all
top 5
Author
- Akinkunmi, B. O. (1)
- Castiglioni, José Luis (1)
- Demolombe, Robert (1)
- Fariñas del Cerro, Luis (1)
- Kamide, Norihiro (1)
- Magnani, Lorenzo (1)
- Obeid, Naji (1)
- Ronel, Tahel (1)
- Rosenmann, Amnon (1)
- San Martín, Hernán Javier (1)
- Vencovská, Alena (1)
Software
- SOLAR (1)