Logic, Symbolic and mathematical
Resource Information
The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Logic, Symbolic and mathematical
Resource Information
The concept Logic, Symbolic and mathematical represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
 Label
 Logic, Symbolic and mathematical
 Authority link

 http://id.worldcat.org/fast/01002068
 (uri) http://id.worldcat.org/fast/fst01002068
 Source
 fast
Context
Context of Logic, Symbolic and mathematicalSubject of
No resources found
No enriched resources found
 5th Conference on Automated Deduction, Les Arcs, France, July 811, 1980
 6th Conference on Automated Deduction, New York, USA, June 79, 1982
 7th International Conference on Automated Deduction, Napa, California, USA, May 1416, 1984 : proceedings
 8th International Conference on Automated Deduction : Oxford, England, July 27August 1, 1986 : proceedings
 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
 ACM transactions on computational logic
 Advances in linear logic
 Algebra and computer science
 Algebra and logic
 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
 Algebra, combinatorics, and logic in computer science
 Annals of mathematical logic
 Annals of pure and applied logic
 Applications scientifiques de la logique mathématique: : actes du 2e Colloque international de logique mathématique, Paris, 2530 août 1952, Institut Henri Poincaré
 Archiv für mathematische Logik und Grundlagenforschung
 Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 2022, 2006 : proceedings
 Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 1618, 1998 : proceedings
 Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 1719, 2000 : revised papers
 Artificial intelligence and symbolic mathematical computation : international conference, AISMC3, Steyr, Austria, September 2325, 1996 : proceedings
 Artificial intelligence and symbolic mathematical computing : International Conference AISMC1, Karlsruhe, Germany, August 36, 1992 : proceedings
 Automated deduction  CADE17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 1720, 2000 : proceedings
 Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31September 2, 2006 : revised papers
 Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 2729, 1996 : selected papers
 Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
 Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 2527, 2000 : revised papers
 Automated deduction, CADE11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 1518, 1992 : proceedings
 Automated deduction, CADE13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30August 3, 1996 : proceedings
 Automated deduction, CADE15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 510, 1998 : proceedings
 Automated deductionCADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 710, 1999 : proceedings
 Automated deductionCADE23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31August 5, 2011 : proceedings
 Automated deductionCADE18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 2730, 2002 : proceedings
 Axioms
 Bulletin of the Section of Logic
 COLOG88 : International Conference on Computer Logic Tallinn, USSR, December 1216, 1988 : proceedings
 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1216, 1987 : proceedings
 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 37, 1988 : proceedings
 Cabal Seminar 7677 : proceedings, CaltechUCLA logic seminar 197677
 Cabal seminar 7779 : proceedings, CaltechUCLA logic seminar 197779
 Computational logic : symposium proceedings, Brussels, November 13/14, 1990
 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 2529, 1997 : proceedings
 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 15, 1990 : proceedings
 Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
 Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28October 2, 1992 : selected papers
 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 1317, 1993 : selected papers
 Contributions to nonstandard analysis.
 Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition, by Seymour Lipschutz, Ph. D. and Marc Lars Lipson, Ph. D.
 Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 2528, 2008 ; proceedings
 Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 1518, 2010. Proceedings
 Formalized mathematics : a computer assisted approach
 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 1519, 1986 : proceedings
 From the viewpoint of the LvovWarsaw school
 Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 810, 2002 : proceedings
 Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 1618, 2009 : proceedings
 Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 57, 2011 : proceedings
 Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 1113, 2000 : proceedings
 Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 2325, 2002 : proceedings
 Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 2022, 2006 : proceedings
 Grammatical inference : theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 1316, 2010 : proceedings
 Grammatical inference and applications : second international colloquium, ICGI94, Alicante, Spain, September 2123, 1994 : proceedings
 Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, SaintMalo, France, September 2224, 2008 ; proceedings
 Gödel '96 : logical foundations of mathematics, computer science, and physicsKurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
 Handbook of logic and language
 Higherorder algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 2122, 1995 : selected papers
 History of mathematical logic from Leibniz to Peano
 IEEE International Fuzzy Systems conference proceedings
 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
 Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 35, 2007, revised selected papers
 Journal of formalized reasoning
 Journal of logic and analysis
 Journal of the IGPL
 Jurnal matematika mantik
 Logic Colloquium : symposium on logic held at Boston, 197273
 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 2124, 1979 and February 47, 1980
 Logic and combinatorics : proceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985
 Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 2028, 1988
 Logic and data bases
 Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 511, 2011 : proceedings
 Logic and proof
 Logic and the foundations of game and decision theory  LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 35, 2008 : revised selected papers
 Logic at Botik '89 : symposium on logical foundations of computer science, PereslavlZalessky, USSR, July 38, 1989 : proceedings
 Logic from computer science : proceedings of a workshop held November 1317, 1989
 Logic journal of the IGPL
 Logic year 197980, the University of Connecticut, USA
 Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 14, 2008 : proceedings
 Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 69, 2010 ; proceedings
 Logic, methodology and philosophy of science; : proceedings.
 Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
 Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
 Logica universalis
 Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 612, 1997 : proceedings
 Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings
 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 1014, 1990, proceedings
 Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 1315, 2006 : proceedings
 Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 1315, 2010 : proceedings
 Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 2326, 2002 : proceedings
 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30October 3, 1996, proceedings
 Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 1215, 1998 : proceedings
 Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29October 2, 2000 : proceedings
 Logics of programs : Brooklyn, June 1719, 1985 : proceedings
 Mathematical logic
 Mathematical logic : proceedings of the first Brazilian Conference
 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
 Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 1114 November 1968.
 Mathematical logic and its applications
 Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985
 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 16, 1983
 Modern logic
 Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 1820 September, 1984
 Neutrosophic sets and systems
 Nonclassical logics and information processing : international workshop, Berlin, November 910, 1990 : proceedings
 Notre Dame journal of formal logic
 Notre Dame journal of formal logic
 Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 1822, 1980
 Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92)
 Proceedings
 Proceedings
 Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 2427, 1990
 Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 47, 1990, Philadelphia, PA
 Proceedings of the ... Logic Colloquium
 Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 2830, 1991, Davis, California
 Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 79, 1988, Pacific Grove, California
 Proceedings of the Second Scandinavian Logic Symposium.
 Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
 Schaum's outline of theory and problems of discrete mathematics
 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
 Studies in constructive mathematics and mathematical logic
 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 810, 1993 : proceedings
 Symbolic logic and language; : a programmed text,
 The Journal of symbolic logic
 The Logic of theory change : workshop, Konstanz, FRG, October 1315, 1989, proceedings
 The acquisition of symbolic skills
 The bulletin of symbolic logic
 The review of modern logic
 Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 710, 1995 : proceedings
 Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 1517, 1996 : proceedings
 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 1922, 1986, Monterey, California
 Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 47, 1990, Pacific Grove, California
 Toposes, algebraic geometry and logic
 Traditional logic and the Venn diagram; a programed introduction
 Truth, syntax and modality; : proceedings of the Temple University Conference on Alternative Semantics.
 Zeitschrift für mathematische Logik und Grundlagen der Mathematik
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/4lbkaThxxUI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4lbkaThxxUI/">Logic, Symbolic and mathematical</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Concept Logic, Symbolic and mathematical
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/4lbkaThxxUI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/4lbkaThxxUI/">Logic, Symbolic and mathematical</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>