A study on logic programming language based on first-order formulae
- People
- Time
- Owner Organization
Studies on logic programming language for constraint-based natural language analysis
Studies on disjunctive logic programming
Semantics for interactive higher-order functional-logic programming
A study on meta-programming environments
A study on abstraction based on predicate mappings
Research on special classes of multiple-valued logic functions based on fuzzy logic
A study on genetics-based adaptive problem solver
Theoretical study of scanning tunneling microscopy based on first-principles electronic structure calculation
On a reduction-procedure for full first order classical natural deduction
Context-dependent natural language processing based on scene analysis
A programming environment for reactive and concurrent systems using Petri nets and temporal logic
Study on coir fiber reinforced cement based composite
A study of cognitive processes of natural language understanding
A study on atomic layer epitaxy of Ⅲ-Ⅴ-based semiconductors for microstructure formation
A Study on Stream Cipher
Hawk on a Branch (study)
First-principles study on solid iodine under high pressure
A study on complex coefficient system
A study on speaker individuality control
A study on evolutionary optimization method
A study on a cyclic pipeline computer FLATS2
A study of high quality speech synthesis based on the analysis of the randomness in speech signals
A course of Mandarin lessons, based on idiom
A course of Mandarin lessons, based on idiom
Last Updated:
Uploaded: 2020-12-17