Semantics for interactive higher-order functional-logic programming
- People
- Time
- Owner Organization
A study on logic programming language based on first-order formulae
NDL Digital Collections
NDL Digital Collections
Studies on disjunctive logic programming
NDL Digital Collections
NDL Digital Collections
Proof system of higher-order clausal logic and its parallel implementation
NDL Digital Collections
NDL Digital Collections
Studies on logic programming language for constraint-based natural language analysis
NDL Digital Collections
NDL Digital Collections
A programming environment for reactive and concurrent systems using Petri nets and temporal logic
NDL Digital Collections
NDL Digital Collections
Database state manipulation in lazy functional programming languages
NDL Digital Collections
NDL Digital Collections
Layerwise higher-order finite elements for laminated composite material structures
NDL Digital Collections
NDL Digital Collections
Termination of higher-order rewrite systems
NDL Digital Collections
NDL Digital Collections
Functional Chart for Military Government Units
NDL Digital Collections
NDL Digital Collections
Parallel Computer Architectures for the SPMD Programming Model
NDL Digital Collections
NDL Digital Collections
Request for Travel Order
NDL Digital Collections
NDL Digital Collections
Studies on facilities for persistent programming languages and their implementations
NDL Digital Collections
NDL Digital Collections
Genetic engineering studies on the structure and functional expression of cytochrome P450 monooxygenases in a higher plant
NDL Digital Collections
NDL Digital Collections
No. 886: Order for the issuance of summonses for witnesses for the Defense
NDL Digital Collections
NDL Digital Collections
Construction of Rational Screening System for Selection of Functional RNA and Protein
NDL Digital Collections
NDL Digital Collections
Development of New Aluminum Catalysis for Selective Transformation of Oxygen-Containing Functional Groups
NDL Digital Collections
NDL Digital Collections
Request for Travel Order - on and before 30 June, 1951
NDL Digital Collections
NDL Digital Collections
No. 953: ORDER for the issuance of a subpoena for witness requested by accused KIMURA
NDL Digital Collections
NDL Digital Collections
No. 739: Order for issuance of summons for witnesses on behalf of accused TOJO, Hideki
NDL Digital Collections
NDL Digital Collections
No. 722: Request of KIMURA, HEITARO, for an order for the production of a witness
NDL Digital Collections
NDL Digital Collections
On a reduction-procedure for full first order classical natural deduction
NDL Digital Collections
NDL Digital Collections
No. 730: Application on behalf of ITAGAKI, SEISHIRO, for an order for the production of witness
NDL Digital Collections
NDL Digital Collections
No. 731: Application on behalf of HASHIMOTO, KINGORO, for an order for the production of witness
NDL Digital Collections
NDL Digital Collections
No. 596: Order for issuance of summons for witnesses on behalf of accused SATO, and for the production of documents
NDL Digital Collections
NDL Digital Collections
Last Updated:
Uploaded: 2020-12-17