Mathematical Structures in Computer Science

URI: https://gptkb.org/entity/Mathematical_Structures_in_Computer_Science
GPTKB entity
Properties (54)
Predicate Object
gptkbp:instanceOf academic journal
gptkbp:editor gptkb:quantum_computing
artificial intelligence
cryptography
formal verification
big data
cloud computing
cybersecurity
logic
machine learning
theoretical computer science
programming languages
algorithm design
computational linguistics
computer vision
embedded systems
human-computer interaction
information theory
natural language processing
parallel computing
robotics
bioinformatics
category theory
data mining
distributed systems
signal processing
type theory
computational complexity
graph theory
network theory
optimization
semantics
information retrieval
model checking
numerical analysis
software testing
social network analysis
software engineering
combinatorics
program analysis
blockchain
database theory
automata theory
discrete mathematics
computational geometry
algebraic structures
type systems
formal methods
internet of things
web science
gptkbp:firstPublished 1986
gptkbp:focusesOn mathematics in computer science
https://www.w3.org/2000/01/rdf-schema#label Mathematical Structures in Computer Science
gptkbp:publisher gptkb:Cambridge_University_Press