Results 201 to 210 of about 1,279,365 (262)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Philosophical Logic, 2000
The authors propose that we think of logic not merely as an inference engine, but as a way of preparing information for a more general method of input/output transformation. Four such `logics' are described, from the `simple-minded', in which all the (classically) logical consequences of a (propositional) input \(A\) are become input and the output is ...
Makinson, D., van der Torre, L.
openaire +6 more sources
The authors propose that we think of logic not merely as an inference engine, but as a way of preparing information for a more general method of input/output transformation. Four such `logics' are described, from the `simple-minded', in which all the (classically) logical consequences of a (propositional) input \(A\) are become input and the output is ...
Makinson, D., van der Torre, L.
openaire +6 more sources
2023
Narratieven van professionals met betrekking tot verschraling van collectieve ontplooiingsgerichte voorzieningen in een Zaanse en een Amsterdamse wijk.
Huwaë, Z.N. +2 more
openaire +2 more sources
Narratieven van professionals met betrekking tot verschraling van collectieve ontplooiingsgerichte voorzieningen in een Zaanse en een Amsterdamse wijk.
Huwaë, Z.N. +2 more
openaire +2 more sources
ACM SIGPLAN Lisp Pointers, 1989
ANSI Technical Committee X3J13 met on March 31 and April 1, 1992, to resolve outstanding issues in the draft proposal for Common Lisp. A few members had brought up some inconsistencies found at the last minute, and these were fairly easily resolved.
openaire +1 more source
ANSI Technical Committee X3J13 met on March 31 and April 1, 1992, to resolve outstanding issues in the draft proposal for Common Lisp. A few members had brought up some inconsistencies found at the last minute, and these were fairly easily resolved.
openaire +1 more source
Against Output–Output Correspondence
2008Abstract Output–Output Correspondence (OOC) constraints, which demand correspondence between independently occurring surface forms, have made their way into the working arsenal of constraint types in use with Optimality Theory. In this chapter1 we examine some of the better-known arguments which have been advanced in support of OOC ...
Mark Hale, Charles Reiss
openaire +1 more source
The Journal of the Acoustical Society of America, 2012
The present invention provides a sound outputting apparatus, including: a housing; an electro-acoustic conversion section provided in the housing and configured to acoustically reproduce and output a sound signal; an acousto-electric conversion section provided at a position of the housing at which sound acoustically reproduced by the electro-acoustic ...
Kohei Asada, Goro Shiraishi
openaire +1 more source
The present invention provides a sound outputting apparatus, including: a housing; an electro-acoustic conversion section provided in the housing and configured to acoustically reproduce and output a sound signal; an acousto-electric conversion section provided at a position of the housing at which sound acoustically reproduced by the electro-acoustic ...
Kohei Asada, Goro Shiraishi
openaire +1 more source
An Advanced Strategy to Enhance TENG Output: Reducing Triboelectric Charge Decay
Advanced Materials, 2023Peng Wang
exaly