{"id":"https://openalex.org/W2163268481","doi":"https://doi.org/10.1007/978-0-8176-4763-6","title":"Logic for Computer Scientists","display_name":"Logic for Computer Scientists","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2163268481","doi":"https://doi.org/10.1007/978-0-8176-4763-6","mag":"2163268481"},"language":"en","primary_location":{"id":"doi:10.1007/978-0-8176-4763-6","doi":"https://doi.org/10.1007/978-0-8176-4763-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-8176-4763-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306462921","display_name":"Birkh\u00e4user Boston eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"book"},"volume":null,"type":"book","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055009733","display_name":"Uwe Sch\u00f6ning","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Uwe Sch\u00f6ning","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5055009733"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4602,"has_fulltext":true,"cited_by_count":52,"citation_normalized_percentile":{"value":0.85843715,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.017799999564886093,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-logic","display_name":"propositional logic","score":0.9419999718666077},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.9179999828338623},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9200000166893005},{"id":"https://openalex.org/keywords/resolution","display_name":"resolution","score":0.6669999957084656},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.9940000176429749},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.9330000281333923},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.9509999752044678},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"program semantics","score":0.9769999980926514},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"artificial intelligence","score":0.5090000033378601}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6648391485214233},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.6485415697097778},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6130635142326355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.599961519241333},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.5583001971244812},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5547354817390442},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.48051226139068604},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4637148380279541},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4518151581287384},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.44036489725112915},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4308808445930481},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.21284955739974976},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09257352352142334},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-0-8176-4763-6","doi":"https://doi.org/10.1007/978-0-8176-4763-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-0-8176-4763-6","pdf_url":null,"source":{"id":"https://openalex.org/S4306462921","display_name":"Birkh\u00e4user Boston eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"book"},{"id":"pmh:oai:cds.cern.ch:1639295","doi":null,"is_oa":false,"landing_page_url":"http://cds.cern.ch/record/1639295","pdf_url":null,"source":{"id":"https://openalex.org/S4306400735","display_name":"International Linear Collider","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:dial.uclouvain.be:ebook:18340","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/2078/ebook:18340","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2163268481","doi":null,"is_oa":false,"landing_page_url":"http://ci.nii.ac.jp/ncid/BB06829603","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7098930667","https://openalex.org/W2569890278","https://openalex.org/W1513458930","https://openalex.org/W565589911","https://openalex.org/W4297611837","https://openalex.org/W4301968143","https://openalex.org/W2322980081","https://openalex.org/W4298236051","https://openalex.org/W4297611825","https://openalex.org/W4205160923"],"abstract_inverted_index":{"This":[0,76,140],"book":[1,81,108,123,141,203,253],"introduces":[2],"the":[3,52,57,83,164,177],"notions":[4],"and":[5,20,28,39,49,87,103,127,136,159,171,198,228,236,250],"methods":[6],"of":[7,22,30,51,59,85,130,153,208,230,247],"formal":[8],"logic":[9,23,40,72,160,199,210,224],"from":[10],"a":[11,43,78,91,106,114,120,145,148,154,186,240,244,259],"computer":[12,31,74,94,192,219],"science":[13,32,193],"standpoint,":[14],"covering":[15],"propositional":[16,86],"logic,":[17,19,89],"predicate":[18],"foundations":[21],"programming.":[24,200],"It":[25],"presents":[26],"applications":[27],"themes":[29],"research":[33],"such":[34],"as":[35,258],"resolution,":[36],"automated":[37,222],"deduction,":[38,223],"programming":[41,231],"in":[42,71,179,218,265],"rigorous":[44],"but":[45],"readable":[46],"way.The":[47],"style":[48],"scope":[50],"work,":[53],"rounded":[54],"out":[55],"by":[56],"inclusion":[58],"exercises,":[60],"make":[61],"this":[62,119],"an":[63,67,180,262],"excellent":[64],"textbook":[65],"for":[66,73,144,261],"advanced":[68,165],"undergraduate":[69,166],"course":[70,156,190,264],"scientists.":[75,95],"is":[77,134],"short":[79,107,146,189],"introductory":[80,263],"on":[82,100,157,205],"topic":[84],"first-order":[88],"with":[90,113,124,215],"bias":[92],"towards":[93],"Schning":[96],"decides":[97],"to":[98,138,195,243],"concentrate":[99],"computational":[101],"issues,":[102],"gives":[104],"us":[105],"(less":[109],"than":[110],"170":[111],"pages)":[112],"tight":[115],"storyline.":[116],"I":[117],"found":[118],"nicely":[121],"written":[122],"many":[125],"examples":[126,170,238],"exercises":[128,174,235],"(126":[129],"them).":[131],"The":[132,233,252],"presentation":[133],"natural":[135],"easy":[137],"follow.":[139],"seems":[142],"suitable":[143],"course,":[147],"seminar":[149],"series,":[150],"or":[151],"part":[152],"larger":[155],"Prolog":[158],"programming,":[161,225],"probably":[162],"at":[163],"level.":[167],"SIGACT":[168],"NewsContains":[169],"126":[172],"interesting":[173],"which":[175,211],"put":[176],"student":[178],"active":[181],"reading":[182],"mode....":[183],"Would":[184],"provide":[185],"good":[187],"university":[188],"introducing":[191],"students":[194],"theorem":[196],"proving":[197],"Mathematical":[201],"ReviewsThis":[202],"concentrates":[204],"those":[206],"aspects":[207],"mathematical":[209],"have":[212],"strong":[213],"connections":[214],"different":[216,248],"topics":[217],"science,":[220],"especially":[221],"program":[226],"verification":[227],"semantics":[229],"languages....":[232],"numerous":[234],"illustrative":[237],"contribute":[239],"great":[241],"extent":[242],"better":[245],"understanding":[246],"concepts":[249],"results.":[251],"can":[254],"be":[255],"successfully":[256],"used":[257],"handbook":[260],"artificial":[266],"intelligence.":[267],"Zentralblatt":[268],"MATH":[269]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}