Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4)  
  Mathematical Logic And Formal Languages (F.4) See Reviews  
 
General (73)
Mathematical Logic (11)
Grammars And Other Rewriting Systems (153)
Formal Languages (198)
Miscellaneous (13)
   
 
Reviews limited to:
 
 

Reviews in category "Mathematical Logic And Formal Languages (F.4)":
Visual complex analysis (25th anniversary ed.)
Needham T., Penrose R., OXFORD UNIVERISTY PRESS, Oxford, UK, 2023. 675 pp.  Type: Book (9780192868923)
Algorithms for constructing computably enumerable sets
Supowit K., Springer International Publishing, Cham, Switzerland, 2023. 183 pp.  Type: Book (9783031269035)
Randomness and elements of decision theory applied to signals
Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 259 pp.  Type: Book (978-3-030903-13-8)
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)
 Mathematical logic through Python
Gonczarowski Y., Nisan N., Cambridge University Press, Cambridge, UK, 2022. 284 pp.  Type: Book (1108949479), Reviews: (2 of 2)
more...

Related Topics

F.4.1
Mathematical Logic
  - Deduction And Theorem Proving
  - Models Of Computation
  - Knowledge Representation Formalisms And Methods
  - Automatic Programming

F.4.2
Grammars And Other Rewriting Systems
  - Formal Definitions And Theory

F.4.3
Formal Languages
  - Formal Definitions And Theory
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy