Results 101 to 110 of about 3,258,688 (158)

A survey of Indian logic from the point of view of computer science

, 1994
Vvs Sarma
openalex   +2 more sources

An old-line proof checker operating under APL/360, with educational applications in logic, mathematics, and computer science [PDF]

, 1971
P. D. Page
openalex   +1 more source

N-Beats architecture for explainable forecasting of multi-dimensional poultry data. [PDF]

PLoS One
Kaur B, Rakhra M, Sharma N, Prashar D, Mrsic L, Khan AA, Kadry S.   +6 more
europepmc   +1 more source

Use of basic programming tools to foster programming logic in university students with school preparation other than computer science

Fernando Ibarra-Torres, Gustavo Caiza, Marcelo V. García, Valeria Barona-Pico   +3 more
openalex   +1 more source

The line follower robot: a meta-analytic approach. [PDF]

PeerJ Comput Sci
Brigido WJH, de Oliveira JMP.
europepmc   +1 more source

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012

, 2012
Pablo Barceló, Diego Figueira, Leonid Libkin   +2 more
openalex   +1 more source

Computer Science Logic

, 2004
Jérôme Vouillon
openalex   +2 more sources

Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008) [PDF]

, 2011
Ron van der Meyden, Leendert van der Torre   +1 more
openalex   +1 more source

FROM BOOLE’S LOGIC TO BOOLEAN APPLICATIONS IN COMPUTER SCIENCE

, 2021
Mohamad Awwad
openalex   +1 more source

Design of Computer Numerical Control System for Fiber Placement Machine Based on Siemens 840D sl. [PDF]

Sensors (Basel)
Xia K, Zhao D, Yuan Q, Wang J, Shen A.
europepmc   +1 more source