home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
| can't find it |
Tell us the title, author
and / or ISBN number
*
Any other details such as author,
ISBN, title or genre. Please be specific
What is your email address?
*
Not a valid email address
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Edited by
Uli Sattler
, Edited by
Martin Suda
| on special |
normal price: R 2,097.95
Price: R 1,992.95
| add to trolley |
processing...
| book description |
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
| product details |
Normally shipped |
Available from overseas. Usually dispatched in 14 days
Publisher |
Springer International Publishing AG
Published date |
15 Sep 2023
Language |
Format |
Paperback / softback
Pages |
275
Dimensions |
235 x 155 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-0314-3368-9
Readership Age |
BISAC |
computers / artificial intelligence
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
The Silent Patient: The record-breaking, multimillion copy Sunday Times bestselling thriller and TikTok sensation
Alex Michaelides
Paperback / softback
352 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
With film rights snapped up by an Oscar winning Hollywood production company, rights sold in a world record 43 territories, and rave blurbs from David Baldacci, Lee Child and A.
| more |
| add to trolley |
processing...
The Thing at 52
Mr. Ross Montgomery
Hardback
40 pages
was: R 363.95
now: R 345.95
Usually dispatched in 3 to 4 weeks as supplier is out of stock
The Thing at 52 is a beautiful picture book about friendship, loneliness and learning how to say goodbye.
| more |
| add to trolley |
processing...
Free Your Mind: The new world of manipulation and how to resist it
Laura Dodsworth
Paperback / softback
384 pages
was: R 300.95
now: R 270.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
The Instant Sunday Times Bestseller Learn how to recognise and resist the daily attempts to control and manipulate your mind.
| more |
| add to trolley |
processing...
Copyright 2024
|
terms and conditions