Showing 1 - 20 of 55,005

computer science - logic in computer science 37,914 fos: computer and information sciences 16,480 logic in computer science (cs.lo) 16,479 01 natural sciences 9,981 02 engineering and technology 8,641 0102 computer and information sciences 8,605 more ... 0202 electrical engineering, electronic engineering, information engineering 8,244 computer science - artificial intelligence 5,358 electronic computers. computer science 5,116 qa75.5-76.95 5,100 computer science - programming languages 4,404 mathematics - logic 4,372 f.4.1 4,278 0101 mathematics 4,080 logic 3,841 bc1-199 3,690 fos: mathematics 2,905 computer science - formal languages and automata theory 2,792 artificial intelligence (cs.ai) 2,461 computer science - computational complexity 2,083 16. peace & justice 1,974 programming languages (cs.pl) 1,952 logic (math.lo) 1,800 mathematics - category theory 1,607 computer science - software engineering 1,526 f.3.1 1,522 mathematics 1,497 computer science - machine learning 1,476 qa1-939 1,409 f.3.2 1,335 less ...

arxiv 6,462 logical methods in computer science e.v. 2,492 open publishing association 2,018 springer international publishing 1,231 centre pour la communication scientifique directe (ccsd) 1,151 elsevier bv 796 more ... springer berlin heidelberg 716 cambridge university press (cup) 622 association for computing machinery (acm) 530 ieee 512 springer science and business media llc 463 acm 445 springer nature switzerland 434 oxford university press (oup) 189 association for the advancement of artificial intelligence (aaai) 132 international joint conferences on artificial intelligence organization 105 sage publications 103 institute of electrical and electronics engineers (ieee) 69 easychair 64 ai access foundation 57 society for industrial & applied mathematics (siam) 49 ios press 38 hal ccsd 33 association for computational linguistics (acl) 32 informa uk limited 29 logical methods in computer science association 29 world scientific pub co pte ltd 26 ccsd 24 wiley 24 schloss dagstuhl - leibniz-zentrum fur informatik 23 less ...

english 10,202 undetermined 9,431 unknown 1,277 russian 9 french 7 italian 5 more ... portuguese 4 german 2 ndonga 1 spanish; castilian 1 less ...

OpenAIRE 17,096 OAIster 17,081 arXiv 17,006 BASE 2,565 Directory of Open Access Journals 1,243 HAL 11 more ... RCAAP 2 ORBi 1 less ...