01728aam 2200457I 450 991071123590332120151113033700.0GOVPUB-C13-6925b02fb6dcaa88935be001eb551b4c(CKB)5470000002481664(OCoLC)929064223(EXLCZ)99547000000248166420151113d1974 ua 0engrdacontentrdamediardacarrierTabulation of published data on electron devices of the U.S.S.R. through December 1973 /Charles P. MarsdenGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,1974.1 online resourceNBS technical note ;8351974.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Electronic apparatus and appliancesHandbooks, manuals, etcElectronic industriesSoviet UnionHandbooks, manuals, etcSemiconductorsHandbooks, manuals, etcHandbooks and manuals.lcgftElectronic apparatus and appliancesElectronic industriesSemiconductorsMarsden Charles P1395396Marsden Charles P1395396United States.National Bureau of Standards.NBSNBSGPOBOOK9910711235903321Tabulation of published data on electron devices of the U.S.S.R. through December 19733461269UNINA04036nam 22007815 450 991041608080332120200818155732.03-030-57977-810.1007/978-3-030-57977-7(CKB)4100000011392565(DE-He213)978-3-030-57977-7(MiAaPQ)EBC6310343(PPN)250214806(EXLCZ)99410000001139256520200818d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierRules and Reasoning 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) Programming and Software Engineering ;12173Includes index.3-030-57976-X Invited Papers -- Full Papers -- Technical Communication Papers.This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and selected from 30 submissions. *The conference was held virtually due to the COVID-19 pandemic.Programming and Software Engineering ;12173ComputersSoftware engineeringArtificial intelligenceComputer logicKnowledge representation (Information theory) Application softwareTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Information Systems and Communication Servicehttps://scigraph.springernature.com/ontologies/product-market-codes/I18008Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logic in AIhttps://scigraph.springernature.com/ontologies/product-market-codes/I21020Knowledge based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I21030Computer Appl. in Administrative Data Processinghttps://scigraph.springernature.com/ontologies/product-market-codes/I2301XComputers.Software engineering.Artificial intelligence.Computer logic.Knowledge representation (Information theory) .Application software.Theory of Computation.Information Systems and Communication Service.Software Engineering/Programming and Operating Systems.Logic in AI.Knowledge based Systems.Computer Appl. in Administrative Data Processing.005.1015113005.1015113Gutiérrez-Basulto Víctoredthttp://id.loc.gov/vocabulary/relators/edtKliegr Tomášedthttp://id.loc.gov/vocabulary/relators/edtSoylu Ahmetedthttp://id.loc.gov/vocabulary/relators/edtGiese Martinedthttp://id.loc.gov/vocabulary/relators/edtRoman Dumitruedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910416080803321Rules and Reasoning2585543UNINA