Name
Year | Venue | Field |
|---|---|---|
1996 | ITA | Intuitionistic logic,Evaluation strategy,Combinatorics,Lambda calculus,Gödel,Algebra,Operator (computer programming),Artificial intelligence,Mathematics,Theory of computation |
DocType | Volume | Issue |
Journal | 30 | 3 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Karim Nour | 1 | 65 | 15.07 |